22.061 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.086 * * * [progress]: [2/2] Setting up program. 0.090 * [progress]: [Phase 2 of 3] Improving. 0.090 * [simplify]: Simplifying using # : (* (cos x) (/ (sinh y) y)) 0.091 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.091 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.093 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 0.096 * * [simplify]: iteration 3 : 64 enodes (cost 7 ) 0.104 * * [simplify]: iteration 4 : 135 enodes (cost 7 ) 0.121 * * [simplify]: iteration 5 : 250 enodes (cost 7 ) 0.157 * * [simplify]: iteration 6 : 465 enodes (cost 7 ) 0.234 * * [simplify]: iteration 7 : 1310 enodes (cost 7 ) 0.717 * * [simplify]: iteration 8 : 3368 enodes (cost 7 ) 1.669 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 1.669 * [simplify]: Simplified to: (* (cos x) (/ (sinh y) y)) 1.669 * * [progress]: iteration 1 / 4 1.669 * * * [progress]: picking best candidate 1.672 * * * * [pick]: Picked # 1.672 * * * [progress]: localizing error 1.680 * * * [progress]: generating rewritten candidates 1.680 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.687 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1.691 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 1.694 * * * [progress]: generating series expansions 1.694 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.695 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 1.695 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 1.695 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 1.695 * [taylor]: Taking taylor expansion of (sinh y) in y 1.696 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.696 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 1.696 * [taylor]: Taking taylor expansion of (exp y) in y 1.696 * [taylor]: Taking taylor expansion of y in y 1.696 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.696 * [taylor]: Taking taylor expansion of (neg y) in y 1.696 * [taylor]: Taking taylor expansion of y in y 1.696 * [taylor]: Taking taylor expansion of 2 in y 1.696 * [taylor]: Taking taylor expansion of (cos x) in y 1.696 * [taylor]: Taking taylor expansion of x in y 1.697 * [taylor]: Taking taylor expansion of y in y 1.697 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 1.697 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 1.697 * [taylor]: Taking taylor expansion of (sinh y) in x 1.697 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.697 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 1.697 * [taylor]: Taking taylor expansion of (exp y) in x 1.697 * [taylor]: Taking taylor expansion of y in x 1.697 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 1.697 * [taylor]: Taking taylor expansion of (neg y) in x 1.697 * [taylor]: Taking taylor expansion of y in x 1.697 * [taylor]: Taking taylor expansion of 2 in x 1.697 * [taylor]: Taking taylor expansion of (cos x) in x 1.697 * [taylor]: Taking taylor expansion of x in x 1.697 * [taylor]: Taking taylor expansion of y in x 1.697 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 1.697 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 1.697 * [taylor]: Taking taylor expansion of (sinh y) in x 1.698 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.698 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 1.698 * [taylor]: Taking taylor expansion of (exp y) in x 1.698 * [taylor]: Taking taylor expansion of y in x 1.698 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 1.698 * [taylor]: Taking taylor expansion of (neg y) in x 1.698 * [taylor]: Taking taylor expansion of y in x 1.698 * [taylor]: Taking taylor expansion of 2 in x 1.698 * [taylor]: Taking taylor expansion of (cos x) in x 1.698 * [taylor]: Taking taylor expansion of x in x 1.698 * [taylor]: Taking taylor expansion of y in x 1.698 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (neg y))) y)) in y 1.698 * [taylor]: Taking taylor expansion of 1/2 in y 1.698 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 1.698 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 1.698 * [taylor]: Taking taylor expansion of (exp y) in y 1.698 * [taylor]: Taking taylor expansion of y in y 1.698 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.698 * [taylor]: Taking taylor expansion of (neg y) in y 1.698 * [taylor]: Taking taylor expansion of y in y 1.698 * [taylor]: Taking taylor expansion of y in y 1.699 * [taylor]: Taking taylor expansion of 0 in y 1.700 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 1.700 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 1.700 * [taylor]: Taking taylor expansion of 1/4 in y 1.700 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 1.700 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.700 * [taylor]: Taking taylor expansion of (neg y) in y 1.700 * [taylor]: Taking taylor expansion of y in y 1.700 * [taylor]: Taking taylor expansion of y in y 1.700 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 1.700 * [taylor]: Taking taylor expansion of 1/4 in y 1.700 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 1.700 * [taylor]: Taking taylor expansion of (exp y) in y 1.701 * [taylor]: Taking taylor expansion of y in y 1.701 * [taylor]: Taking taylor expansion of y in y 1.702 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 1.702 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 1.702 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 1.702 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.702 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 1.702 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.702 * [taylor]: Taking taylor expansion of y in y 1.702 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 1.702 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.702 * [taylor]: Taking taylor expansion of y in y 1.702 * [taylor]: Taking taylor expansion of 2 in y 1.702 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 1.702 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 1.702 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.702 * [taylor]: Taking taylor expansion of x in y 1.702 * [taylor]: Taking taylor expansion of y in y 1.702 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 1.702 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 1.703 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.703 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 1.703 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 1.703 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.703 * [taylor]: Taking taylor expansion of y in x 1.703 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 1.703 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 1.703 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.703 * [taylor]: Taking taylor expansion of y in x 1.703 * [taylor]: Taking taylor expansion of 2 in x 1.703 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 1.703 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.703 * [taylor]: Taking taylor expansion of x in x 1.703 * [taylor]: Taking taylor expansion of y in x 1.703 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 1.703 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 1.703 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.703 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 1.703 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 1.703 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.703 * [taylor]: Taking taylor expansion of y in x 1.703 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 1.703 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 1.703 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.704 * [taylor]: Taking taylor expansion of y in x 1.704 * [taylor]: Taking taylor expansion of 2 in x 1.704 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 1.704 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.704 * [taylor]: Taking taylor expansion of x in x 1.704 * [taylor]: Taking taylor expansion of y in x 1.704 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 1.704 * [taylor]: Taking taylor expansion of 1/2 in y 1.704 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 1.704 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 1.704 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.704 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.704 * [taylor]: Taking taylor expansion of y in y 1.704 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 1.704 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.704 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.704 * [taylor]: Taking taylor expansion of y in y 1.704 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 1.704 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 1.704 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.705 * [taylor]: Taking taylor expansion of x in y 1.705 * [taylor]: Taking taylor expansion of y in y 1.705 * [taylor]: Taking taylor expansion of 0 in y 1.707 * [taylor]: Taking taylor expansion of 0 in y 1.709 * [taylor]: Taking taylor expansion of 0 in y 1.709 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0 1.709 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 1.709 * [taylor]: Taking taylor expansion of -1 in y 1.709 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 1.709 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 1.710 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.710 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 1.710 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 1.710 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.710 * [taylor]: Taking taylor expansion of -1 in y 1.710 * [taylor]: Taking taylor expansion of y in y 1.710 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 1.710 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 1.710 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.710 * [taylor]: Taking taylor expansion of -1 in y 1.710 * [taylor]: Taking taylor expansion of y in y 1.710 * [taylor]: Taking taylor expansion of 2 in y 1.710 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 1.710 * [taylor]: Taking taylor expansion of y in y 1.710 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 1.710 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.710 * [taylor]: Taking taylor expansion of -1 in y 1.710 * [taylor]: Taking taylor expansion of x in y 1.710 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 1.710 * [taylor]: Taking taylor expansion of -1 in x 1.710 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 1.710 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 1.710 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.710 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 1.710 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 1.710 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.710 * [taylor]: Taking taylor expansion of -1 in x 1.710 * [taylor]: Taking taylor expansion of y in x 1.710 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 1.710 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 1.710 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.711 * [taylor]: Taking taylor expansion of -1 in x 1.711 * [taylor]: Taking taylor expansion of y in x 1.711 * [taylor]: Taking taylor expansion of 2 in x 1.711 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 1.711 * [taylor]: Taking taylor expansion of y in x 1.711 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.711 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.711 * [taylor]: Taking taylor expansion of -1 in x 1.711 * [taylor]: Taking taylor expansion of x in x 1.711 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 1.711 * [taylor]: Taking taylor expansion of -1 in x 1.711 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 1.711 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 1.711 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.711 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 1.711 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 1.711 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.711 * [taylor]: Taking taylor expansion of -1 in x 1.711 * [taylor]: Taking taylor expansion of y in x 1.711 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 1.711 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 1.711 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.711 * [taylor]: Taking taylor expansion of -1 in x 1.711 * [taylor]: Taking taylor expansion of y in x 1.711 * [taylor]: Taking taylor expansion of 2 in x 1.712 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 1.712 * [taylor]: Taking taylor expansion of y in x 1.712 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.712 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.712 * [taylor]: Taking taylor expansion of -1 in x 1.712 * [taylor]: Taking taylor expansion of x in x 1.712 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y))) in y 1.712 * [taylor]: Taking taylor expansion of -1/2 in y 1.712 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)) in y 1.712 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 1.712 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 1.712 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.712 * [taylor]: Taking taylor expansion of -1 in y 1.712 * [taylor]: Taking taylor expansion of y in y 1.712 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.712 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.712 * [taylor]: Taking taylor expansion of y in y 1.712 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y 1.712 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 1.712 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.712 * [taylor]: Taking taylor expansion of -1 in y 1.712 * [taylor]: Taking taylor expansion of x in y 1.712 * [taylor]: Taking taylor expansion of y in y 1.713 * [taylor]: Taking taylor expansion of 0 in y 1.715 * [taylor]: Taking taylor expansion of 0 in y 1.717 * [taylor]: Taking taylor expansion of 0 in y 1.717 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1.717 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0 1.717 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 1.717 * [taylor]: Taking taylor expansion of (sinh y) in y 1.717 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.717 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 1.717 * [taylor]: Taking taylor expansion of (exp y) in y 1.717 * [taylor]: Taking taylor expansion of y in y 1.717 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.717 * [taylor]: Taking taylor expansion of (neg y) in y 1.717 * [taylor]: Taking taylor expansion of y in y 1.717 * [taylor]: Taking taylor expansion of 2 in y 1.718 * [taylor]: Taking taylor expansion of y in y 1.718 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 1.718 * [taylor]: Taking taylor expansion of (sinh y) in y 1.718 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.718 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 1.718 * [taylor]: Taking taylor expansion of (exp y) in y 1.718 * [taylor]: Taking taylor expansion of y in y 1.718 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.718 * [taylor]: Taking taylor expansion of (neg y) in y 1.718 * [taylor]: Taking taylor expansion of y in y 1.718 * [taylor]: Taking taylor expansion of 2 in y 1.718 * [taylor]: Taking taylor expansion of y in y 1.721 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0 1.722 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 1.722 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 1.722 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.722 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 1.722 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.722 * [taylor]: Taking taylor expansion of y in y 1.722 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 1.722 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.722 * [taylor]: Taking taylor expansion of y in y 1.722 * [taylor]: Taking taylor expansion of 2 in y 1.722 * [taylor]: Taking taylor expansion of y in y 1.722 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 1.722 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 1.722 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.722 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 1.722 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.722 * [taylor]: Taking taylor expansion of y in y 1.722 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 1.722 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.722 * [taylor]: Taking taylor expansion of y in y 1.722 * [taylor]: Taking taylor expansion of 2 in y 1.723 * [taylor]: Taking taylor expansion of y in y 1.725 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0 1.725 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 1.725 * [taylor]: Taking taylor expansion of -1 in y 1.725 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 1.725 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 1.725 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.725 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 1.725 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 1.725 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.725 * [taylor]: Taking taylor expansion of -1 in y 1.725 * [taylor]: Taking taylor expansion of y in y 1.725 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 1.725 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 1.725 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.725 * [taylor]: Taking taylor expansion of -1 in y 1.725 * [taylor]: Taking taylor expansion of y in y 1.725 * [taylor]: Taking taylor expansion of 2 in y 1.726 * [taylor]: Taking taylor expansion of y in y 1.726 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 1.726 * [taylor]: Taking taylor expansion of -1 in y 1.726 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 1.726 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 1.726 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.726 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 1.726 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 1.726 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.726 * [taylor]: Taking taylor expansion of -1 in y 1.726 * [taylor]: Taking taylor expansion of y in y 1.726 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 1.726 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 1.726 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.726 * [taylor]: Taking taylor expansion of -1 in y 1.726 * [taylor]: Taking taylor expansion of y in y 1.726 * [taylor]: Taking taylor expansion of 2 in y 1.726 * [taylor]: Taking taylor expansion of y in y 1.729 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 1.729 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 1.729 * [taylor]: Taking taylor expansion of (sinh y) in y 1.729 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.729 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 1.729 * [taylor]: Taking taylor expansion of (exp y) in y 1.729 * [taylor]: Taking taylor expansion of y in y 1.729 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.729 * [taylor]: Taking taylor expansion of (neg y) in y 1.730 * [taylor]: Taking taylor expansion of y in y 1.730 * [taylor]: Taking taylor expansion of 2 in y 1.730 * [taylor]: Taking taylor expansion of (sinh y) in y 1.730 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.730 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 1.730 * [taylor]: Taking taylor expansion of (exp y) in y 1.730 * [taylor]: Taking taylor expansion of y in y 1.730 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.730 * [taylor]: Taking taylor expansion of (neg y) in y 1.730 * [taylor]: Taking taylor expansion of y in y 1.730 * [taylor]: Taking taylor expansion of 2 in y 1.738 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 1.738 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 1.738 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.738 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 1.738 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.738 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.738 * [taylor]: Taking taylor expansion of y in y 1.738 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 1.738 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.739 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.739 * [taylor]: Taking taylor expansion of y in y 1.739 * [taylor]: Taking taylor expansion of 2 in y 1.739 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 1.739 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.739 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 1.739 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.739 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.739 * [taylor]: Taking taylor expansion of y in y 1.739 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 1.739 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.739 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.739 * [taylor]: Taking taylor expansion of y in y 1.739 * [taylor]: Taking taylor expansion of 2 in y 1.740 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 1.741 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 1.741 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.741 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 1.741 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 1.741 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.741 * [taylor]: Taking taylor expansion of -1 in y 1.741 * [taylor]: Taking taylor expansion of y in y 1.741 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 1.741 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 1.741 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.741 * [taylor]: Taking taylor expansion of -1 in y 1.741 * [taylor]: Taking taylor expansion of y in y 1.741 * [taylor]: Taking taylor expansion of 2 in y 1.741 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 1.741 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.741 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 1.741 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 1.741 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.741 * [taylor]: Taking taylor expansion of -1 in y 1.741 * [taylor]: Taking taylor expansion of y in y 1.741 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 1.741 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 1.741 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.741 * [taylor]: Taking taylor expansion of -1 in y 1.741 * [taylor]: Taking taylor expansion of y in y 1.741 * [taylor]: Taking taylor expansion of 2 in y 1.743 * * * [progress]: simplifying candidates 1.744 * [simplify]: Simplifying using # : (* (cos x) (/ (sinh y) y)) (+ (log (cos x)) (- (log (sinh y)) (log y))) (+ (log (cos x)) (log (/ (sinh y) y))) (log (* (cos x) (/ (sinh y) y))) (exp (* (cos x) (/ (sinh y) y))) (* (* (* (cos x) (cos x)) (cos x)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y))) (* (* (* (cos x) (cos x)) (cos x)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y))) (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y)))) (cbrt (* (cos x) (/ (sinh y) y))) (* (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) (* (sqrt (cos x)) (sqrt (/ (sinh y) y))) (* (sqrt (cos x)) (sqrt (/ (sinh y) y))) (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y))) (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y))) (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (* (cos x) (sqrt (/ (sinh y) y))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)) (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (* (cos x) (/ (sqrt (sinh y)) (sqrt y))) (* (cos x) (/ (sqrt (sinh y)) 1)) (* (cos x) (/ 1 (* (cbrt y) (cbrt y)))) (* (cos x) (/ 1 (sqrt y))) (* (cos x) (/ 1 1)) (* (cos x) 1) (* (cos x) (sinh y)) (* (cbrt (cos x)) (/ (sinh y) y)) (* (sqrt (cos x)) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y)) (* (cos x) (sinh y)) (- (log (sinh y)) (log y)) (log (/ (sinh y) y)) (exp (/ (sinh y) y)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y)) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cbrt (/ (sinh y) y)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (neg (sinh y)) (neg y) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sinh y)) (cbrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (/ (cbrt (sinh y)) (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1) (/ (cbrt (sinh y)) y) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sinh y)) (cbrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) 1) (/ (sqrt (sinh y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sinh y) (cbrt y)) (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)) (/ 1 1) (/ (sinh y) y) (/ 1 y) (/ y (sinh y)) (/ (sinh y) (* (cbrt y) (cbrt y))) (/ (sinh y) (sqrt y)) (/ (sinh y) 1) (/ y (cbrt (sinh y))) (/ y (sqrt (sinh y))) (/ y (sinh y)) (* y 2) (- (exp y) (exp (neg y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (* (* (sinh y) (sinh y)) (sinh y)) (sqrt (sinh y)) (sqrt (sinh y)) (- (+ 1 (* 1/6 (pow y 2))) (* 1/2 (pow x 2))) (/ (- (* 1/2 (* (exp y) (cos x))) (* 1/2 (* (exp (neg y)) (cos x)))) y) (* -1 (/ (- (* 1/2 (* (cos x) (exp (* -1 y)))) (* 1/2 (* (exp y) (cos x)))) y)) (+ (* 1/120 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) (/ (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) y) (* -1 (/ (- (* 1/2 (exp (* -1 y))) (* 1/2 (exp y))) y)) (+ (* 1/120 (pow y 5)) (+ y (* 1/6 (pow y 3)))) (* 1/2 (- (exp y) (exp (neg y)))) (* 1/2 (- (exp y) (exp (* -1 y)))) 1.747 * * [simplify]: iteration 0 : 138 enodes (cost 730 ) 1.766 * * [simplify]: iteration 1 : 328 enodes (cost 693 ) 1.826 * * [simplify]: iteration 2 : 1244 enodes (cost 631 ) 2.257 * * [simplify]: iteration 3 : 4321 enodes (cost 621 ) 2.886 * * [simplify]: iteration done : 5000 enodes (cost 621 ) 2.886 * [simplify]: Simplified to: (* (cos x) (/ (sinh y) y)) (log (* (cos x) (/ (sinh y) y))) (log (* (cos x) (/ (sinh y) y))) (log (* (cos x) (/ (sinh y) y))) (exp (* (cos x) (/ (sinh y) y))) (pow (* (cos x) (/ (sinh y) y)) 3) (pow (* (cos x) (/ (sinh y) y)) 3) (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y)))) (cbrt (* (cos x) (/ (sinh y) y))) (pow (* (cos x) (/ (sinh y) y)) 3) (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) (* (sqrt (cos x)) (sqrt (/ (sinh y) y))) (* (sqrt (cos x)) (sqrt (/ (sinh y) y))) (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y))) (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y))) (* (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cos x)) (* (cos x) (sqrt (/ (sinh y) y))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (* (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (cos x)) (* (* (cbrt (sinh y)) (cbrt (sinh y))) (cos x)) (* (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (cos x)) (* (cos x) (/ (sqrt (sinh y)) (sqrt y))) (* (cos x) (sqrt (sinh y))) (/ (/ (cos x) (cbrt y)) (cbrt y)) (/ (cos x) (sqrt y)) (cos x) (cos x) (* (cos x) (sinh y)) (* (cbrt (cos x)) (/ (sinh y) y)) (* (sqrt (cos x)) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y)) (* (cos x) (sinh y)) (log (/ (sinh y) y)) (log (/ (sinh y) y)) (exp (/ (sinh y) y)) (pow (/ (sinh y) y) 3) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cbrt (/ (sinh y) y)) (pow (/ (sinh y) y) 3) (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (neg (sinh y)) (neg y) (* (/ (cbrt (sinh y)) (* (cbrt y) (cbrt y))) (cbrt (sinh y))) (/ (cbrt (sinh y)) (cbrt y)) (* (cbrt (sinh y)) (/ (cbrt (sinh y)) (sqrt y))) (/ (cbrt (sinh y)) (sqrt y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (/ (cbrt (sinh y)) y) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sinh y)) (cbrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (sqrt y)) (sqrt (sinh y)) (/ (sqrt (sinh y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sinh y) (cbrt y)) (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)) 1 (/ (sinh y) y) (/ 1 y) (/ y (sinh y)) (/ (sinh y) (* (cbrt y) (cbrt y))) (/ (sinh y) (sqrt y)) (sinh y) (/ y (cbrt (sinh y))) (/ y (sqrt (sinh y))) (/ y (sinh y)) (* 2 y) (- (exp y) (exp (neg y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (pow (sinh y) 3) (sqrt (sinh y)) (sqrt (sinh y)) (- (+ 1 (* 1/6 (pow y 2))) (* 1/2 (pow x 2))) (/ (* (cos x) (* 1/2 (- (exp y) (exp (neg y))))) y) (/ (* -1/2 (* (cos x) (- (exp (neg y)) (exp y)))) y) (+ (* 1/120 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) (/ (* 1/2 (- (exp y) (exp (neg y)))) y) (/ (* -1/2 (- (exp (neg y)) (exp y))) y) (+ (* 1/120 (pow y 5)) (+ y (* 1/6 (pow y 3)))) (* -1/2 (- (exp (neg y)) (exp y))) (* -1/2 (- (exp (neg y)) (exp y))) 2.887 * * * [progress]: adding candidates to table 2.959 * * [progress]: iteration 2 / 4 2.959 * * * [progress]: picking best candidate 2.968 * * * * [pick]: Picked # 2.968 * * * [progress]: localizing error 2.979 * * * [progress]: generating rewritten candidates 2.979 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 2.982 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 2.985 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 2.987 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 2.995 * * * [progress]: generating series expansions 2.995 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 2.995 * [approximate]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in (y) around 0 2.995 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 2.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 2.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 2.995 * [taylor]: Taking taylor expansion of 1/3 in y 2.995 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 2.995 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 2.995 * [taylor]: Taking taylor expansion of (sinh y) in y 2.995 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 2.995 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 2.995 * [taylor]: Taking taylor expansion of (exp y) in y 2.995 * [taylor]: Taking taylor expansion of y in y 2.995 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 2.995 * [taylor]: Taking taylor expansion of (neg y) in y 2.995 * [taylor]: Taking taylor expansion of y in y 2.995 * [taylor]: Taking taylor expansion of 2 in y 2.995 * [taylor]: Taking taylor expansion of y in y 2.996 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 2.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 2.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 2.996 * [taylor]: Taking taylor expansion of 1/3 in y 2.996 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 2.996 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 2.996 * [taylor]: Taking taylor expansion of (sinh y) in y 2.996 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 2.996 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 2.996 * [taylor]: Taking taylor expansion of (exp y) in y 2.996 * [taylor]: Taking taylor expansion of y in y 2.996 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 2.996 * [taylor]: Taking taylor expansion of (neg y) in y 2.996 * [taylor]: Taking taylor expansion of y in y 2.996 * [taylor]: Taking taylor expansion of 2 in y 2.996 * [taylor]: Taking taylor expansion of y in y 3.002 * [approximate]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in (y) around 0 3.002 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 3.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 3.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 3.002 * [taylor]: Taking taylor expansion of 1/3 in y 3.002 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 3.002 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 3.002 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 3.002 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 3.002 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 3.002 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 3.002 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.002 * [taylor]: Taking taylor expansion of y in y 3.002 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 3.002 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 3.002 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.002 * [taylor]: Taking taylor expansion of y in y 3.002 * [taylor]: Taking taylor expansion of 2 in y 3.002 * [taylor]: Taking taylor expansion of y in y 3.003 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 3.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 3.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 3.003 * [taylor]: Taking taylor expansion of 1/3 in y 3.003 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 3.003 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 3.003 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 3.003 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 3.003 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 3.003 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 3.003 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.003 * [taylor]: Taking taylor expansion of y in y 3.004 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 3.004 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 3.004 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.004 * [taylor]: Taking taylor expansion of y in y 3.004 * [taylor]: Taking taylor expansion of 2 in y 3.004 * [taylor]: Taking taylor expansion of y in y 3.018 * [approximate]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in (y) around 0 3.018 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 3.018 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 3.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 3.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 3.018 * [taylor]: Taking taylor expansion of 1/3 in y 3.018 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 3.018 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 3.018 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 3.018 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 3.018 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 3.018 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 3.018 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.018 * [taylor]: Taking taylor expansion of -1 in y 3.018 * [taylor]: Taking taylor expansion of y in y 3.018 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 3.018 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 3.018 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.018 * [taylor]: Taking taylor expansion of -1 in y 3.018 * [taylor]: Taking taylor expansion of y in y 3.019 * [taylor]: Taking taylor expansion of 2 in y 3.019 * [taylor]: Taking taylor expansion of y in y 3.019 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.019 * [taylor]: Taking taylor expansion of -1 in y 3.020 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 3.020 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 3.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 3.020 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 3.020 * [taylor]: Taking taylor expansion of 1/3 in y 3.020 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 3.020 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 3.020 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 3.020 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 3.020 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 3.020 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 3.020 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.020 * [taylor]: Taking taylor expansion of -1 in y 3.020 * [taylor]: Taking taylor expansion of y in y 3.020 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 3.020 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 3.020 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.020 * [taylor]: Taking taylor expansion of -1 in y 3.020 * [taylor]: Taking taylor expansion of y in y 3.020 * [taylor]: Taking taylor expansion of 2 in y 3.020 * [taylor]: Taking taylor expansion of y in y 3.021 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.021 * [taylor]: Taking taylor expansion of -1 in y 3.039 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 3.040 * [approximate]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in (y) around 0 3.040 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 3.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 3.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 3.040 * [taylor]: Taking taylor expansion of 1/3 in y 3.040 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 3.040 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 3.040 * [taylor]: Taking taylor expansion of (sinh y) in y 3.040 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 3.040 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 3.040 * [taylor]: Taking taylor expansion of (exp y) in y 3.040 * [taylor]: Taking taylor expansion of y in y 3.040 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 3.040 * [taylor]: Taking taylor expansion of (neg y) in y 3.040 * [taylor]: Taking taylor expansion of y in y 3.040 * [taylor]: Taking taylor expansion of 2 in y 3.040 * [taylor]: Taking taylor expansion of y in y 3.040 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 3.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 3.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 3.040 * [taylor]: Taking taylor expansion of 1/3 in y 3.040 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 3.040 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 3.040 * [taylor]: Taking taylor expansion of (sinh y) in y 3.040 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 3.040 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 3.040 * [taylor]: Taking taylor expansion of (exp y) in y 3.040 * [taylor]: Taking taylor expansion of y in y 3.040 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 3.041 * [taylor]: Taking taylor expansion of (neg y) in y 3.041 * [taylor]: Taking taylor expansion of y in y 3.041 * [taylor]: Taking taylor expansion of 2 in y 3.041 * [taylor]: Taking taylor expansion of y in y 3.046 * [approximate]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in (y) around 0 3.046 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 3.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 3.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 3.046 * [taylor]: Taking taylor expansion of 1/3 in y 3.046 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 3.046 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 3.046 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 3.047 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 3.047 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 3.047 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 3.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.047 * [taylor]: Taking taylor expansion of y in y 3.047 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 3.047 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 3.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.047 * [taylor]: Taking taylor expansion of y in y 3.047 * [taylor]: Taking taylor expansion of 2 in y 3.047 * [taylor]: Taking taylor expansion of y in y 3.048 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 3.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 3.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 3.048 * [taylor]: Taking taylor expansion of 1/3 in y 3.048 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 3.048 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 3.048 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 3.048 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 3.048 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 3.048 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 3.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.048 * [taylor]: Taking taylor expansion of y in y 3.048 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 3.048 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 3.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.048 * [taylor]: Taking taylor expansion of y in y 3.048 * [taylor]: Taking taylor expansion of 2 in y 3.048 * [taylor]: Taking taylor expansion of y in y 3.062 * [approximate]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in (y) around 0 3.062 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 3.062 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 3.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 3.062 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 3.062 * [taylor]: Taking taylor expansion of 1/3 in y 3.063 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 3.063 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 3.063 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 3.063 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 3.063 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 3.063 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 3.063 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.063 * [taylor]: Taking taylor expansion of -1 in y 3.063 * [taylor]: Taking taylor expansion of y in y 3.063 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 3.063 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 3.063 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.063 * [taylor]: Taking taylor expansion of -1 in y 3.063 * [taylor]: Taking taylor expansion of y in y 3.063 * [taylor]: Taking taylor expansion of 2 in y 3.063 * [taylor]: Taking taylor expansion of y in y 3.064 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.064 * [taylor]: Taking taylor expansion of -1 in y 3.064 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 3.064 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 3.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 3.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 3.064 * [taylor]: Taking taylor expansion of 1/3 in y 3.064 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 3.064 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 3.064 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 3.064 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 3.064 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 3.064 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 3.064 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.064 * [taylor]: Taking taylor expansion of -1 in y 3.064 * [taylor]: Taking taylor expansion of y in y 3.064 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 3.064 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 3.064 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.064 * [taylor]: Taking taylor expansion of -1 in y 3.064 * [taylor]: Taking taylor expansion of y in y 3.064 * [taylor]: Taking taylor expansion of 2 in y 3.065 * [taylor]: Taking taylor expansion of y in y 3.065 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.065 * [taylor]: Taking taylor expansion of -1 in y 3.080 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 3.080 * [approximate]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in (y) around 0 3.080 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 3.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 3.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 3.080 * [taylor]: Taking taylor expansion of 1/3 in y 3.080 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 3.080 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 3.080 * [taylor]: Taking taylor expansion of (sinh y) in y 3.080 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 3.080 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 3.080 * [taylor]: Taking taylor expansion of (exp y) in y 3.080 * [taylor]: Taking taylor expansion of y in y 3.080 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 3.080 * [taylor]: Taking taylor expansion of (neg y) in y 3.080 * [taylor]: Taking taylor expansion of y in y 3.080 * [taylor]: Taking taylor expansion of 2 in y 3.080 * [taylor]: Taking taylor expansion of y in y 3.081 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 3.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 3.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 3.081 * [taylor]: Taking taylor expansion of 1/3 in y 3.081 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 3.081 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 3.081 * [taylor]: Taking taylor expansion of (sinh y) in y 3.081 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 3.081 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 3.081 * [taylor]: Taking taylor expansion of (exp y) in y 3.081 * [taylor]: Taking taylor expansion of y in y 3.081 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 3.081 * [taylor]: Taking taylor expansion of (neg y) in y 3.081 * [taylor]: Taking taylor expansion of y in y 3.081 * [taylor]: Taking taylor expansion of 2 in y 3.081 * [taylor]: Taking taylor expansion of y in y 3.087 * [approximate]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in (y) around 0 3.087 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 3.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 3.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 3.087 * [taylor]: Taking taylor expansion of 1/3 in y 3.087 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 3.087 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 3.087 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 3.087 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 3.087 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 3.087 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 3.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.087 * [taylor]: Taking taylor expansion of y in y 3.087 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 3.087 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 3.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.087 * [taylor]: Taking taylor expansion of y in y 3.087 * [taylor]: Taking taylor expansion of 2 in y 3.087 * [taylor]: Taking taylor expansion of y in y 3.088 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 3.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 3.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 3.088 * [taylor]: Taking taylor expansion of 1/3 in y 3.089 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 3.089 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 3.089 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 3.089 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 3.089 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 3.089 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 3.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.089 * [taylor]: Taking taylor expansion of y in y 3.089 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 3.089 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 3.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.089 * [taylor]: Taking taylor expansion of y in y 3.089 * [taylor]: Taking taylor expansion of 2 in y 3.089 * [taylor]: Taking taylor expansion of y in y 3.102 * [approximate]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in (y) around 0 3.103 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 3.103 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 3.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 3.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 3.103 * [taylor]: Taking taylor expansion of 1/3 in y 3.103 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 3.103 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 3.103 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 3.103 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 3.103 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 3.103 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 3.103 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.103 * [taylor]: Taking taylor expansion of -1 in y 3.103 * [taylor]: Taking taylor expansion of y in y 3.103 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 3.103 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 3.103 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.103 * [taylor]: Taking taylor expansion of -1 in y 3.103 * [taylor]: Taking taylor expansion of y in y 3.103 * [taylor]: Taking taylor expansion of 2 in y 3.103 * [taylor]: Taking taylor expansion of y in y 3.104 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.104 * [taylor]: Taking taylor expansion of -1 in y 3.104 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 3.104 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 3.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 3.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 3.104 * [taylor]: Taking taylor expansion of 1/3 in y 3.104 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 3.104 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 3.104 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 3.104 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 3.104 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 3.104 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 3.104 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.104 * [taylor]: Taking taylor expansion of -1 in y 3.104 * [taylor]: Taking taylor expansion of y in y 3.105 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 3.105 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 3.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.105 * [taylor]: Taking taylor expansion of -1 in y 3.105 * [taylor]: Taking taylor expansion of y in y 3.105 * [taylor]: Taking taylor expansion of 2 in y 3.105 * [taylor]: Taking taylor expansion of y in y 3.106 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.106 * [taylor]: Taking taylor expansion of -1 in y 3.120 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 3.120 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0 3.120 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 3.120 * [taylor]: Taking taylor expansion of (sinh y) in y 3.120 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 3.120 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 3.120 * [taylor]: Taking taylor expansion of (exp y) in y 3.120 * [taylor]: Taking taylor expansion of y in y 3.121 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 3.121 * [taylor]: Taking taylor expansion of (neg y) in y 3.121 * [taylor]: Taking taylor expansion of y in y 3.121 * [taylor]: Taking taylor expansion of 2 in y 3.121 * [taylor]: Taking taylor expansion of y in y 3.121 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 3.121 * [taylor]: Taking taylor expansion of (sinh y) in y 3.121 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 3.121 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 3.121 * [taylor]: Taking taylor expansion of (exp y) in y 3.121 * [taylor]: Taking taylor expansion of y in y 3.121 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 3.121 * [taylor]: Taking taylor expansion of (neg y) in y 3.121 * [taylor]: Taking taylor expansion of y in y 3.121 * [taylor]: Taking taylor expansion of 2 in y 3.121 * [taylor]: Taking taylor expansion of y in y 3.128 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0 3.128 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 3.128 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 3.128 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 3.128 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 3.128 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 3.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.128 * [taylor]: Taking taylor expansion of y in y 3.128 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 3.128 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 3.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.128 * [taylor]: Taking taylor expansion of y in y 3.128 * [taylor]: Taking taylor expansion of 2 in y 3.128 * [taylor]: Taking taylor expansion of y in y 3.129 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 3.129 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 3.129 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 3.129 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 3.129 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 3.129 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.129 * [taylor]: Taking taylor expansion of y in y 3.129 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 3.129 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 3.129 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.129 * [taylor]: Taking taylor expansion of y in y 3.129 * [taylor]: Taking taylor expansion of 2 in y 3.129 * [taylor]: Taking taylor expansion of y in y 3.131 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0 3.131 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 3.131 * [taylor]: Taking taylor expansion of -1 in y 3.132 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 3.132 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 3.132 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 3.132 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 3.132 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 3.132 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.132 * [taylor]: Taking taylor expansion of -1 in y 3.132 * [taylor]: Taking taylor expansion of y in y 3.132 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 3.132 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 3.132 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.132 * [taylor]: Taking taylor expansion of -1 in y 3.132 * [taylor]: Taking taylor expansion of y in y 3.132 * [taylor]: Taking taylor expansion of 2 in y 3.132 * [taylor]: Taking taylor expansion of y in y 3.132 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 3.132 * [taylor]: Taking taylor expansion of -1 in y 3.132 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 3.132 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 3.132 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 3.132 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 3.132 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 3.132 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.132 * [taylor]: Taking taylor expansion of -1 in y 3.132 * [taylor]: Taking taylor expansion of y in y 3.132 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 3.132 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 3.132 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.132 * [taylor]: Taking taylor expansion of -1 in y 3.132 * [taylor]: Taking taylor expansion of y in y 3.133 * [taylor]: Taking taylor expansion of 2 in y 3.133 * [taylor]: Taking taylor expansion of y in y 3.136 * * * [progress]: simplifying candidates 3.137 * [simplify]: Simplifying using # : (log (cbrt (/ (sinh y) y))) (exp (cbrt (/ (sinh y) y))) (cbrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (cbrt (cbrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (sinh y)) (cbrt y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (cbrt (/ (cbrt (sinh y)) (sqrt y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)) (cbrt (/ (cbrt (sinh y)) y)) (cbrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sinh y)) (cbrt y))) (cbrt (/ (sqrt (sinh y)) (sqrt y))) (cbrt (/ (sqrt (sinh y)) (sqrt y))) (cbrt (/ (sqrt (sinh y)) 1)) (cbrt (/ (sqrt (sinh y)) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ (sinh y) (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ (sinh y) (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ (sinh y) y)) (cbrt 1) (cbrt (/ (sinh y) y)) (cbrt (sinh y)) (cbrt (/ 1 y)) (cbrt (sinh y)) (cbrt y) (* (cbrt (cbrt (/ (sinh y) y))) (cbrt (cbrt (/ (sinh y) y)))) (cbrt (cbrt (/ (sinh y) y))) (* (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cbrt (/ (sinh y) y))) (sqrt (cbrt (/ (sinh y) y))) (sqrt (cbrt (/ (sinh y) y))) (log (cbrt (/ (sinh y) y))) (exp (cbrt (/ (sinh y) y))) (cbrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (cbrt (cbrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (sinh y)) (cbrt y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (cbrt (/ (cbrt (sinh y)) (sqrt y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)) (cbrt (/ (cbrt (sinh y)) y)) (cbrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sinh y)) (cbrt y))) (cbrt (/ (sqrt (sinh y)) (sqrt y))) (cbrt (/ (sqrt (sinh y)) (sqrt y))) (cbrt (/ (sqrt (sinh y)) 1)) (cbrt (/ (sqrt (sinh y)) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ (sinh y) (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ (sinh y) (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ (sinh y) y)) (cbrt 1) (cbrt (/ (sinh y) y)) (cbrt (sinh y)) (cbrt (/ 1 y)) (cbrt (sinh y)) (cbrt y) (* (cbrt (cbrt (/ (sinh y) y))) (cbrt (cbrt (/ (sinh y) y)))) (cbrt (cbrt (/ (sinh y) y))) (* (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cbrt (/ (sinh y) y))) (sqrt (cbrt (/ (sinh y) y))) (sqrt (cbrt (/ (sinh y) y))) (log (cbrt (/ (sinh y) y))) (exp (cbrt (/ (sinh y) y))) (cbrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (cbrt (cbrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (sinh y)) (cbrt y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (cbrt (/ (cbrt (sinh y)) (sqrt y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)) (cbrt (/ (cbrt (sinh y)) y)) (cbrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sinh y)) (cbrt y))) (cbrt (/ (sqrt (sinh y)) (sqrt y))) (cbrt (/ (sqrt (sinh y)) (sqrt y))) (cbrt (/ (sqrt (sinh y)) 1)) (cbrt (/ (sqrt (sinh y)) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ (sinh y) (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ (sinh y) (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ (sinh y) y)) (cbrt 1) (cbrt (/ (sinh y) y)) (cbrt (sinh y)) (cbrt (/ 1 y)) (cbrt (sinh y)) (cbrt y) (* (cbrt (cbrt (/ (sinh y) y))) (cbrt (cbrt (/ (sinh y) y)))) (cbrt (cbrt (/ (sinh y) y))) (* (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cbrt (/ (sinh y) y))) (sqrt (cbrt (/ (sinh y) y))) (sqrt (cbrt (/ (sinh y) y))) (- (log (sinh y)) (log y)) (log (/ (sinh y) y)) (exp (/ (sinh y) y)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y)) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cbrt (/ (sinh y) y)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (neg (sinh y)) (neg y) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sinh y)) (cbrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (/ (cbrt (sinh y)) (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1) (/ (cbrt (sinh y)) y) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sinh y)) (cbrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) 1) (/ (sqrt (sinh y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sinh y) (cbrt y)) (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)) (/ 1 1) (/ (sinh y) y) (/ 1 y) (/ y (sinh y)) (/ (sinh y) (* (cbrt y) (cbrt y))) (/ (sinh y) (sqrt y)) (/ (sinh y) 1) (/ y (cbrt (sinh y))) (/ y (sqrt (sinh y))) (/ y (sinh y)) (* y 2) (- (+ (* 1/18 (pow y 2)) (pow 1 1/3)) (* 1/3240 (pow y 4))) (exp (* 1/3 (+ (log (- (* 1/2 (exp y)) (* 1/2 (exp (neg y))))) (log (/ 1 y))))) (* (exp (* 1/3 (+ (log (- (* 1/2 (exp y)) (* 1/2 (exp (* -1 y))))) (log (/ -1 y))))) (cbrt -1)) (- (+ (* 1/18 (pow y 2)) (pow 1 1/3)) (* 1/3240 (pow y 4))) (exp (* 1/3 (+ (log (- (* 1/2 (exp y)) (* 1/2 (exp (neg y))))) (log (/ 1 y))))) (* (exp (* 1/3 (+ (log (- (* 1/2 (exp y)) (* 1/2 (exp (* -1 y))))) (log (/ -1 y))))) (cbrt -1)) (- (+ (* 1/18 (pow y 2)) (pow 1 1/3)) (* 1/3240 (pow y 4))) (exp (* 1/3 (+ (log (- (* 1/2 (exp y)) (* 1/2 (exp (neg y))))) (log (/ 1 y))))) (* (exp (* 1/3 (+ (log (- (* 1/2 (exp y)) (* 1/2 (exp (* -1 y))))) (log (/ -1 y))))) (cbrt -1)) (+ (* 1/120 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) (/ (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) y) (* -1 (/ (- (* 1/2 (exp (* -1 y))) (* 1/2 (exp y))) y)) 3.141 * * [simplify]: iteration 0 : 122 enodes (cost 1164 ) 3.156 * * [simplify]: iteration 1 : 235 enodes (cost 1102 ) 3.191 * * [simplify]: iteration 2 : 590 enodes (cost 1054 ) 3.293 * * [simplify]: iteration 3 : 1555 enodes (cost 1036 ) 3.621 * * [simplify]: iteration done : 5001 enodes (cost 1036 ) 3.621 * [simplify]: Simplified to: (log (cbrt (/ (sinh y) y))) (exp (cbrt (/ (sinh y) y))) (cbrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (cbrt (cbrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (sinh y)) (cbrt y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (cbrt (/ (cbrt (sinh y)) (sqrt y))) (cbrt (* (cbrt (sinh y)) (cbrt (sinh y)))) (cbrt (/ (cbrt (sinh y)) y)) (cbrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sinh y)) (cbrt y))) (cbrt (/ (sqrt (sinh y)) (sqrt y))) (cbrt (/ (sqrt (sinh y)) (sqrt y))) (cbrt (sqrt (sinh y))) (cbrt (/ (sqrt (sinh y)) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ (sinh y) (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ (sinh y) (sqrt y))) 1 (cbrt (/ (sinh y) y)) 1 (cbrt (/ (sinh y) y)) (cbrt (sinh y)) (cbrt (/ 1 y)) (cbrt (sinh y)) (cbrt y) (* (cbrt (cbrt (/ (sinh y) y))) (cbrt (cbrt (/ (sinh y) y)))) (cbrt (cbrt (/ (sinh y) y))) (/ (sinh y) y) (sqrt (cbrt (/ (sinh y) y))) (sqrt (cbrt (/ (sinh y) y))) (log (cbrt (/ (sinh y) y))) (exp (cbrt (/ (sinh y) y))) (cbrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (cbrt (cbrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (sinh y)) (cbrt y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (cbrt (/ (cbrt (sinh y)) (sqrt y))) (cbrt (* (cbrt (sinh y)) (cbrt (sinh y)))) (cbrt (/ (cbrt (sinh y)) y)) (cbrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sinh y)) (cbrt y))) (cbrt (/ (sqrt (sinh y)) (sqrt y))) (cbrt (/ (sqrt (sinh y)) (sqrt y))) (cbrt (sqrt (sinh y))) (cbrt (/ (sqrt (sinh y)) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ (sinh y) (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ (sinh y) (sqrt y))) 1 (cbrt (/ (sinh y) y)) 1 (cbrt (/ (sinh y) y)) (cbrt (sinh y)) (cbrt (/ 1 y)) (cbrt (sinh y)) (cbrt y) (* (cbrt (cbrt (/ (sinh y) y))) (cbrt (cbrt (/ (sinh y) y)))) (cbrt (cbrt (/ (sinh y) y))) (/ (sinh y) y) (sqrt (cbrt (/ (sinh y) y))) (sqrt (cbrt (/ (sinh y) y))) (log (cbrt (/ (sinh y) y))) (exp (cbrt (/ (sinh y) y))) (cbrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (cbrt (cbrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (sinh y)) (cbrt y))) (cbrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (cbrt (/ (cbrt (sinh y)) (sqrt y))) (cbrt (* (cbrt (sinh y)) (cbrt (sinh y)))) (cbrt (/ (cbrt (sinh y)) y)) (cbrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt (sinh y)) (cbrt y))) (cbrt (/ (sqrt (sinh y)) (sqrt y))) (cbrt (/ (sqrt (sinh y)) (sqrt y))) (cbrt (sqrt (sinh y))) (cbrt (/ (sqrt (sinh y)) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ (sinh y) (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ (sinh y) (sqrt y))) 1 (cbrt (/ (sinh y) y)) 1 (cbrt (/ (sinh y) y)) (cbrt (sinh y)) (cbrt (/ 1 y)) (cbrt (sinh y)) (cbrt y) (* (cbrt (cbrt (/ (sinh y) y))) (cbrt (cbrt (/ (sinh y) y)))) (cbrt (cbrt (/ (sinh y) y))) (/ (sinh y) y) (sqrt (cbrt (/ (sinh y) y))) (sqrt (cbrt (/ (sinh y) y))) (log (/ (sinh y) y)) (log (/ (sinh y) y)) (exp (/ (sinh y) y)) (pow (/ (sinh y) y) 3) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cbrt (/ (sinh y) y)) (pow (/ (sinh y) y) 3) (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (neg (sinh y)) (neg y) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sinh y)) (cbrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (/ (cbrt (sinh y)) (sqrt y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (/ (cbrt (sinh y)) y) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sinh y)) (cbrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (sqrt y)) (sqrt (sinh y)) (/ (sqrt (sinh y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sinh y) (cbrt y)) (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)) 1 (/ (sinh y) y) (/ 1 y) (/ y (sinh y)) (/ (sinh y) (* (cbrt y) (cbrt y))) (/ (sinh y) (sqrt y)) (sinh y) (/ y (cbrt (sinh y))) (/ y (sqrt (sinh y))) (/ y (sinh y)) (* y 2) (- (+ (* 1/18 (pow y 2)) 1) (* 1/3240 (pow y 4))) (cbrt (exp (- (log (* 1/2 (- (exp y) (exp (neg y))))) (log y)))) (* (* (cbrt -1) (pow (* 1/2 (- (exp y) (exp (neg y)))) 1/3)) (pow (/ -1 y) 1/3)) (- (+ (* 1/18 (pow y 2)) 1) (* 1/3240 (pow y 4))) (cbrt (exp (- (log (* 1/2 (- (exp y) (exp (neg y))))) (log y)))) (* (* (cbrt -1) (pow (* 1/2 (- (exp y) (exp (neg y)))) 1/3)) (pow (/ -1 y) 1/3)) (- (+ (* 1/18 (pow y 2)) 1) (* 1/3240 (pow y 4))) (cbrt (exp (- (log (* 1/2 (- (exp y) (exp (neg y))))) (log y)))) (* (* (cbrt -1) (pow (* 1/2 (- (exp y) (exp (neg y)))) 1/3)) (pow (/ -1 y) 1/3)) (+ (* 1/120 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) (/ (* 1/2 (- (exp y) (exp (neg y)))) y) (/ (* 1/2 (- (exp y) (exp (neg y)))) y) 3.622 * * * [progress]: adding candidates to table 3.735 * * [progress]: iteration 3 / 4 3.735 * * * [progress]: picking best candidate 3.741 * * * * [pick]: Picked # 3.741 * * * [progress]: localizing error 3.755 * * * [progress]: generating rewritten candidates 3.755 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 3.756 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 3.758 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 3.759 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.768 * * * [progress]: generating series expansions 3.768 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 3.768 * [approximate]: Taking taylor expansion of (pow (cos x) 1/3) in (x) around 0 3.768 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 3.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 3.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 3.768 * [taylor]: Taking taylor expansion of 1/3 in x 3.768 * [taylor]: Taking taylor expansion of (log (cos x)) in x 3.768 * [taylor]: Taking taylor expansion of (cos x) in x 3.768 * [taylor]: Taking taylor expansion of x in x 3.769 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 3.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 3.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 3.769 * [taylor]: Taking taylor expansion of 1/3 in x 3.769 * [taylor]: Taking taylor expansion of (log (cos x)) in x 3.769 * [taylor]: Taking taylor expansion of (cos x) in x 3.769 * [taylor]: Taking taylor expansion of x in x 3.772 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in (x) around 0 3.772 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 3.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 3.772 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 3.772 * [taylor]: Taking taylor expansion of 1/3 in x 3.772 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 3.772 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.772 * [taylor]: Taking taylor expansion of x in x 3.772 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 3.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 3.772 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 3.772 * [taylor]: Taking taylor expansion of 1/3 in x 3.772 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 3.772 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.772 * [taylor]: Taking taylor expansion of x in x 3.779 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in (x) around 0 3.779 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 3.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 3.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 3.779 * [taylor]: Taking taylor expansion of 1/3 in x 3.779 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 3.779 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.780 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.780 * [taylor]: Taking taylor expansion of -1 in x 3.780 * [taylor]: Taking taylor expansion of x in x 3.780 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 3.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 3.780 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 3.780 * [taylor]: Taking taylor expansion of 1/3 in x 3.780 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 3.780 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.780 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.780 * [taylor]: Taking taylor expansion of -1 in x 3.780 * [taylor]: Taking taylor expansion of x in x 3.787 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 3.787 * [approximate]: Taking taylor expansion of (pow (cos x) 1/3) in (x) around 0 3.787 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 3.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 3.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 3.787 * [taylor]: Taking taylor expansion of 1/3 in x 3.787 * [taylor]: Taking taylor expansion of (log (cos x)) in x 3.787 * [taylor]: Taking taylor expansion of (cos x) in x 3.788 * [taylor]: Taking taylor expansion of x in x 3.788 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 3.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 3.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 3.788 * [taylor]: Taking taylor expansion of 1/3 in x 3.788 * [taylor]: Taking taylor expansion of (log (cos x)) in x 3.788 * [taylor]: Taking taylor expansion of (cos x) in x 3.788 * [taylor]: Taking taylor expansion of x in x 3.791 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in (x) around 0 3.791 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 3.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 3.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 3.791 * [taylor]: Taking taylor expansion of 1/3 in x 3.791 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 3.791 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.791 * [taylor]: Taking taylor expansion of x in x 3.791 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 3.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 3.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 3.791 * [taylor]: Taking taylor expansion of 1/3 in x 3.791 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 3.791 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.791 * [taylor]: Taking taylor expansion of x in x 3.798 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in (x) around 0 3.798 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 3.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 3.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 3.799 * [taylor]: Taking taylor expansion of 1/3 in x 3.799 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 3.799 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.799 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.799 * [taylor]: Taking taylor expansion of -1 in x 3.799 * [taylor]: Taking taylor expansion of x in x 3.799 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 3.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 3.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 3.799 * [taylor]: Taking taylor expansion of 1/3 in x 3.799 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 3.799 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.799 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.799 * [taylor]: Taking taylor expansion of -1 in x 3.799 * [taylor]: Taking taylor expansion of x in x 3.806 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 3.806 * [approximate]: Taking taylor expansion of (pow (cos x) 1/3) in (x) around 0 3.806 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 3.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 3.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 3.806 * [taylor]: Taking taylor expansion of 1/3 in x 3.806 * [taylor]: Taking taylor expansion of (log (cos x)) in x 3.806 * [taylor]: Taking taylor expansion of (cos x) in x 3.806 * [taylor]: Taking taylor expansion of x in x 3.806 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 3.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 3.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 3.806 * [taylor]: Taking taylor expansion of 1/3 in x 3.806 * [taylor]: Taking taylor expansion of (log (cos x)) in x 3.806 * [taylor]: Taking taylor expansion of (cos x) in x 3.806 * [taylor]: Taking taylor expansion of x in x 3.809 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in (x) around 0 3.809 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 3.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 3.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 3.809 * [taylor]: Taking taylor expansion of 1/3 in x 3.809 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 3.809 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.810 * [taylor]: Taking taylor expansion of x in x 3.810 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 3.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 3.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 3.810 * [taylor]: Taking taylor expansion of 1/3 in x 3.810 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 3.810 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.810 * [taylor]: Taking taylor expansion of x in x 3.817 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in (x) around 0 3.817 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 3.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 3.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 3.817 * [taylor]: Taking taylor expansion of 1/3 in x 3.817 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 3.817 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.817 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.817 * [taylor]: Taking taylor expansion of -1 in x 3.817 * [taylor]: Taking taylor expansion of x in x 3.818 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 3.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 3.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 3.818 * [taylor]: Taking taylor expansion of 1/3 in x 3.818 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 3.818 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.818 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.818 * [taylor]: Taking taylor expansion of -1 in x 3.818 * [taylor]: Taking taylor expansion of x in x 3.825 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.825 * [approximate]: Taking taylor expansion of (pow (pow (cos x) 2) 1/3) in (x) around 0 3.825 * [taylor]: Taking taylor expansion of (pow (pow (cos x) 2) 1/3) in x 3.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos x) 2)))) in x 3.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos x) 2))) in x 3.825 * [taylor]: Taking taylor expansion of 1/3 in x 3.825 * [taylor]: Taking taylor expansion of (log (pow (cos x) 2)) in x 3.825 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 3.825 * [taylor]: Taking taylor expansion of (cos x) in x 3.825 * [taylor]: Taking taylor expansion of x in x 3.826 * [taylor]: Taking taylor expansion of (pow (pow (cos x) 2) 1/3) in x 3.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos x) 2)))) in x 3.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos x) 2))) in x 3.826 * [taylor]: Taking taylor expansion of 1/3 in x 3.826 * [taylor]: Taking taylor expansion of (log (pow (cos x) 2)) in x 3.826 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 3.826 * [taylor]: Taking taylor expansion of (cos x) in x 3.826 * [taylor]: Taking taylor expansion of x in x 3.834 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 2) 1/3) in (x) around 0 3.834 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 2) 1/3) in x 3.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 x)) 2)))) in x 3.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 x)) 2))) in x 3.834 * [taylor]: Taking taylor expansion of 1/3 in x 3.834 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 x)) 2)) in x 3.834 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 3.834 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.834 * [taylor]: Taking taylor expansion of x in x 3.834 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 2) 1/3) in x 3.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 x)) 2)))) in x 3.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 x)) 2))) in x 3.834 * [taylor]: Taking taylor expansion of 1/3 in x 3.834 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 x)) 2)) in x 3.834 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 3.834 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.834 * [taylor]: Taking taylor expansion of x in x 3.843 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 2) 1/3) in (x) around 0 3.843 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 2) 1/3) in x 3.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 x)) 2)))) in x 3.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 x)) 2))) in x 3.844 * [taylor]: Taking taylor expansion of 1/3 in x 3.844 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 x)) 2)) in x 3.844 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 3.844 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.844 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.844 * [taylor]: Taking taylor expansion of -1 in x 3.844 * [taylor]: Taking taylor expansion of x in x 3.844 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 2) 1/3) in x 3.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 x)) 2)))) in x 3.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 x)) 2))) in x 3.844 * [taylor]: Taking taylor expansion of 1/3 in x 3.844 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 x)) 2)) in x 3.844 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 3.844 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.844 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.844 * [taylor]: Taking taylor expansion of -1 in x 3.844 * [taylor]: Taking taylor expansion of x in x 3.857 * * * [progress]: simplifying candidates 3.858 * [simplify]: Simplifying using # : (log (cbrt (cos x))) (exp (cbrt (cos x))) (cbrt (* (cbrt (cos x)) (cbrt (cos x)))) (cbrt (cbrt (cos x))) (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x))) (cbrt 1) (cbrt (cos x)) (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x)))) (cbrt (cbrt (cos x))) (* (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (cos x))) (sqrt (cbrt (cos x))) (sqrt (cbrt (cos x))) (log (cbrt (cos x))) (exp (cbrt (cos x))) (cbrt (* (cbrt (cos x)) (cbrt (cos x)))) (cbrt (cbrt (cos x))) (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x))) (cbrt 1) (cbrt (cos x)) (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x)))) (cbrt (cbrt (cos x))) (* (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (cos x))) (sqrt (cbrt (cos x))) (sqrt (cbrt (cos x))) (log (cbrt (cos x))) (exp (cbrt (cos x))) (cbrt (* (cbrt (cos x)) (cbrt (cos x)))) (cbrt (cbrt (cos x))) (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x))) (cbrt 1) (cbrt (cos x)) (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x)))) (cbrt (cbrt (cos x))) (* (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (cos x))) (sqrt (cbrt (cos x))) (sqrt (cbrt (cos x))) (+ 1/3 1/3) (+ 1 1) (* (cos x) (cos x)) (* (cbrt (cos x)) (cbrt (cos x))) (+ 1 1) (+ (log (cbrt (cos x))) (log (cbrt (cos x)))) (log (* (cbrt (cos x)) (cbrt (cos x)))) (exp (* (cbrt (cos x)) (cbrt (cos x)))) (* (cos x) (cos x)) (* (cbrt (* (cbrt (cos x)) (cbrt (cos x)))) (cbrt (* (cbrt (cos x)) (cbrt (cos x))))) (cbrt (* (cbrt (cos x)) (cbrt (cos x)))) (* (* (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x)))) (* (cbrt (cos x)) (cbrt (cos x)))) (sqrt (* (cbrt (cos x)) (cbrt (cos x)))) (sqrt (* (cbrt (cos x)) (cbrt (cos x)))) (* (cbrt (* (cbrt (cos x)) (cbrt (cos x)))) (cbrt (* (cbrt (cos x)) (cbrt (cos x))))) (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x)))) (* (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x)))) (* (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cos x)) (cbrt (cos x))) (* (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x)))) (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x))))) (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x)))) (* (sqrt (cbrt (cos x))) (sqrt (cbrt (cos x)))) (* (sqrt (cbrt (cos x))) (sqrt (cbrt (cos x)))) (* 1 1) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x)))) (* (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x)))) (* (cbrt (sqrt (cos x))) (sqrt (cbrt (cos x)))) (* (cbrt (sqrt (cos x))) (sqrt (cbrt (cos x)))) (* (sqrt (cbrt (cos x))) (cbrt (sqrt (cos x)))) (* (sqrt (cbrt (cos x))) (cbrt (sqrt (cos x)))) (* (sqrt (cbrt (cos x))) (sqrt (cbrt (cos x)))) (* (sqrt (cbrt (cos x))) (sqrt (cbrt (cos x)))) (* 2 1/3) (* 2 1) (* (cbrt (cos x)) (cbrt (* (cbrt (cos x)) (cbrt (cos x))))) (* (cbrt (cos x)) (cbrt (sqrt (cos x)))) (* (cbrt (cos x)) (cbrt 1)) (* (cbrt (cos x)) (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x))))) (* (cbrt (cos x)) (sqrt (cbrt (cos x)))) (* (cbrt (cos x)) 1) (* (cbrt (cbrt (cos x))) (cbrt (cos x))) (* (cbrt (sqrt (cos x))) (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cbrt (cos x))) (cbrt (cos x))) (* (sqrt (cbrt (cos x))) (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x))) (- (pow 1 1/3) (+ (* 1/6 (pow x 2)) (* 1/72 (pow x 4)))) (pow (cos x) 1/3) (pow (cos x) 1/3) (- (pow 1 1/3) (+ (* 1/6 (pow x 2)) (* 1/72 (pow x 4)))) (pow (cos x) 1/3) (pow (cos x) 1/3) (- (pow 1 1/3) (+ (* 1/6 (pow x 2)) (* 1/72 (pow x 4)))) (pow (cos x) 1/3) (pow (cos x) 1/3) (- (pow 1 1/3) (+ (* 1/3 (pow x 2)) (* 1/405 (pow x 6)))) (pow (pow (cos x) 2) 1/3) (pow (pow (cos x) 2) 1/3) 3.860 * * [simplify]: iteration 0 : 65 enodes (cost 694 ) 3.869 * * [simplify]: iteration 1 : 129 enodes (cost 621 ) 3.888 * * [simplify]: iteration 2 : 414 enodes (cost 521 ) 3.980 * * [simplify]: iteration 3 : 1623 enodes (cost 505 ) 4.778 * * [simplify]: iteration done : 5000 enodes (cost 499 ) 4.779 * [simplify]: Simplified to: (log (cbrt (cos x))) (exp (cbrt (cos x))) (cbrt (pow (cos x) 2/3)) (cbrt (cbrt (cos x))) (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x))) 1 (cbrt (cos x)) (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x)))) (cbrt (cbrt (cos x))) (cos x) (sqrt (cbrt (cos x))) (sqrt (cbrt (cos x))) (log (cbrt (cos x))) (exp (cbrt (cos x))) (cbrt (pow (cos x) 2/3)) (cbrt (cbrt (cos x))) (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x))) 1 (cbrt (cos x)) (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x)))) (cbrt (cbrt (cos x))) (cos x) (sqrt (cbrt (cos x))) (sqrt (cbrt (cos x))) (log (cbrt (cos x))) (exp (cbrt (cos x))) (cbrt (pow (cos x) 2/3)) (cbrt (cbrt (cos x))) (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x))) 1 (cbrt (cos x)) (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x)))) (cbrt (cbrt (cos x))) (cos x) (sqrt (cbrt (cos x))) (sqrt (cbrt (cos x))) 2/3 2 (pow (cos x) 2) (pow (cos x) 2/3) 2 (log (pow (cos x) 2/3)) (log (pow (cos x) 2/3)) (exp (pow (cos x) 2/3)) (pow (cos x) 2) (* (cbrt (pow (cos x) 2/3)) (cbrt (pow (cos x) 2/3))) (cbrt (pow (cos x) 2/3)) (pow (cos x) 2) (fabs (cbrt (cos x))) (fabs (cbrt (cos x))) (* (cbrt (pow (cos x) 2/3)) (cbrt (pow (cos x) 2/3))) (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x)))) (* (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x)))) (* (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x)))) 1 (pow (cos x) 2/3) (pow (cbrt (cbrt (cos x))) 4) (* (cbrt (cbrt (cos x))) (cbrt (cbrt (cos x)))) (cbrt (cos x)) (cbrt (cos x)) 1 (pow (cos x) 2/3) (* (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x)))) (* (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x)))) (* (sqrt (cbrt (cos x))) (cbrt (sqrt (cos x)))) (* (sqrt (cbrt (cos x))) (cbrt (sqrt (cos x)))) (* (sqrt (cbrt (cos x))) (cbrt (sqrt (cos x)))) (* (sqrt (cbrt (cos x))) (cbrt (sqrt (cos x)))) (cbrt (cos x)) (cbrt (cos x)) 2/3 2 (* (cbrt (cos x)) (cbrt (pow (cos x) 2/3))) (* (cbrt (cos x)) (cbrt (sqrt (cos x)))) (cbrt (cos x)) (* (cbrt (cbrt (cos x))) (pow (cbrt (cbrt (cos x))) 4)) (pow (sqrt (cbrt (cos x))) 3) (cbrt (cos x)) (pow (cbrt (cbrt (cos x))) 4) (* (cbrt (cos x)) (cbrt (sqrt (cos x)))) (pow (cos x) 2/3) (pow (cbrt (cbrt (cos x))) 4) (pow (sqrt (cbrt (cos x))) 3) (pow (cos x) 2/3) (- 1 (+ (* 1/6 (pow x 2)) (* 1/72 (pow x 4)))) (cbrt (cos x)) (cbrt (cos x)) (- 1 (+ (* 1/6 (pow x 2)) (* 1/72 (pow x 4)))) (cbrt (cos x)) (cbrt (cos x)) (- 1 (+ (* 1/6 (pow x 2)) (* 1/72 (pow x 4)))) (cbrt (cos x)) (cbrt (cos x)) (- 1 (+ (* 1/3 (pow x 2)) (* 1/405 (pow x 6)))) (cbrt (pow (cos x) 2)) (cbrt (pow (cos x) 2)) 4.779 * * * [progress]: adding candidates to table 4.851 * * [progress]: iteration 4 / 4 4.851 * * * [progress]: picking best candidate 4.854 * * * * [pick]: Picked # 4.854 * * * [progress]: localizing error 4.863 * * * [progress]: generating rewritten candidates 4.863 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.876 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 4.881 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.885 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 4.897 * * * [progress]: generating series expansions 4.897 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.897 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 4.897 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 4.897 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 4.897 * [taylor]: Taking taylor expansion of (sinh y) in y 4.897 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.897 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.897 * [taylor]: Taking taylor expansion of (exp y) in y 4.897 * [taylor]: Taking taylor expansion of y in y 4.897 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.897 * [taylor]: Taking taylor expansion of (neg y) in y 4.897 * [taylor]: Taking taylor expansion of y in y 4.897 * [taylor]: Taking taylor expansion of 2 in y 4.898 * [taylor]: Taking taylor expansion of (cos x) in y 4.898 * [taylor]: Taking taylor expansion of x in y 4.898 * [taylor]: Taking taylor expansion of y in y 4.898 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 4.898 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 4.898 * [taylor]: Taking taylor expansion of (sinh y) in x 4.898 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.898 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 4.898 * [taylor]: Taking taylor expansion of (exp y) in x 4.898 * [taylor]: Taking taylor expansion of y in x 4.898 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 4.898 * [taylor]: Taking taylor expansion of (neg y) in x 4.898 * [taylor]: Taking taylor expansion of y in x 4.898 * [taylor]: Taking taylor expansion of 2 in x 4.898 * [taylor]: Taking taylor expansion of (cos x) in x 4.898 * [taylor]: Taking taylor expansion of x in x 4.898 * [taylor]: Taking taylor expansion of y in x 4.898 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 4.898 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 4.898 * [taylor]: Taking taylor expansion of (sinh y) in x 4.898 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.898 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 4.898 * [taylor]: Taking taylor expansion of (exp y) in x 4.898 * [taylor]: Taking taylor expansion of y in x 4.899 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 4.899 * [taylor]: Taking taylor expansion of (neg y) in x 4.899 * [taylor]: Taking taylor expansion of y in x 4.899 * [taylor]: Taking taylor expansion of 2 in x 4.899 * [taylor]: Taking taylor expansion of (cos x) in x 4.899 * [taylor]: Taking taylor expansion of x in x 4.899 * [taylor]: Taking taylor expansion of y in x 4.899 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (neg y))) y)) in y 4.899 * [taylor]: Taking taylor expansion of 1/2 in y 4.899 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 4.899 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.899 * [taylor]: Taking taylor expansion of (exp y) in y 4.899 * [taylor]: Taking taylor expansion of y in y 4.899 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.899 * [taylor]: Taking taylor expansion of (neg y) in y 4.899 * [taylor]: Taking taylor expansion of y in y 4.899 * [taylor]: Taking taylor expansion of y in y 4.900 * [taylor]: Taking taylor expansion of 0 in y 4.901 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 4.901 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 4.901 * [taylor]: Taking taylor expansion of 1/4 in y 4.901 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 4.901 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.901 * [taylor]: Taking taylor expansion of (neg y) in y 4.901 * [taylor]: Taking taylor expansion of y in y 4.901 * [taylor]: Taking taylor expansion of y in y 4.901 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 4.901 * [taylor]: Taking taylor expansion of 1/4 in y 4.901 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 4.901 * [taylor]: Taking taylor expansion of (exp y) in y 4.901 * [taylor]: Taking taylor expansion of y in y 4.901 * [taylor]: Taking taylor expansion of y in y 4.902 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 4.902 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 4.902 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 4.903 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.903 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 4.903 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.903 * [taylor]: Taking taylor expansion of y in y 4.903 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 4.903 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.903 * [taylor]: Taking taylor expansion of y in y 4.903 * [taylor]: Taking taylor expansion of 2 in y 4.903 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 4.903 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 4.903 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.903 * [taylor]: Taking taylor expansion of x in y 4.903 * [taylor]: Taking taylor expansion of y in y 4.903 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 4.903 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 4.903 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.903 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 4.903 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.903 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.903 * [taylor]: Taking taylor expansion of y in x 4.903 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 4.903 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 4.903 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.903 * [taylor]: Taking taylor expansion of y in x 4.904 * [taylor]: Taking taylor expansion of 2 in x 4.904 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 4.904 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.904 * [taylor]: Taking taylor expansion of x in x 4.904 * [taylor]: Taking taylor expansion of y in x 4.904 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 4.904 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 4.904 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.904 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 4.904 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.904 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.904 * [taylor]: Taking taylor expansion of y in x 4.904 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 4.904 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 4.904 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.904 * [taylor]: Taking taylor expansion of y in x 4.904 * [taylor]: Taking taylor expansion of 2 in x 4.904 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 4.904 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.904 * [taylor]: Taking taylor expansion of x in x 4.905 * [taylor]: Taking taylor expansion of y in x 4.905 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 4.905 * [taylor]: Taking taylor expansion of 1/2 in y 4.905 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 4.905 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 4.905 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.905 * [taylor]: Taking taylor expansion of y in y 4.905 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 4.905 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.905 * [taylor]: Taking taylor expansion of y in y 4.905 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 4.905 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 4.905 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.905 * [taylor]: Taking taylor expansion of x in y 4.905 * [taylor]: Taking taylor expansion of y in y 4.909 * [taylor]: Taking taylor expansion of 0 in y 4.911 * [taylor]: Taking taylor expansion of 0 in y 4.913 * [taylor]: Taking taylor expansion of 0 in y 4.913 * [approximate]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) 2) in (x y) around 0 4.913 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) 2) in y 4.913 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y 4.913 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 4.913 * [taylor]: Taking taylor expansion of -1 in y 4.913 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 4.913 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 4.914 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.914 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 4.914 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.914 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.914 * [taylor]: Taking taylor expansion of -1 in y 4.914 * [taylor]: Taking taylor expansion of y in y 4.914 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 4.914 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 4.914 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.914 * [taylor]: Taking taylor expansion of -1 in y 4.914 * [taylor]: Taking taylor expansion of y in y 4.914 * [taylor]: Taking taylor expansion of 2 in y 4.914 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 4.914 * [taylor]: Taking taylor expansion of y in y 4.914 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 4.914 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.914 * [taylor]: Taking taylor expansion of -1 in y 4.914 * [taylor]: Taking taylor expansion of x in y 4.915 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) 2) in x 4.915 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 4.915 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 4.915 * [taylor]: Taking taylor expansion of -1 in x 4.915 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 4.916 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 4.916 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.916 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 4.916 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.916 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.916 * [taylor]: Taking taylor expansion of -1 in x 4.916 * [taylor]: Taking taylor expansion of y in x 4.916 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 4.916 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 4.916 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.916 * [taylor]: Taking taylor expansion of -1 in x 4.916 * [taylor]: Taking taylor expansion of y in x 4.916 * [taylor]: Taking taylor expansion of 2 in x 4.916 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 4.916 * [taylor]: Taking taylor expansion of y in x 4.916 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.916 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.916 * [taylor]: Taking taylor expansion of -1 in x 4.916 * [taylor]: Taking taylor expansion of x in x 4.918 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) 2) in x 4.918 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 4.918 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 4.918 * [taylor]: Taking taylor expansion of -1 in x 4.918 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 4.918 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 4.918 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.918 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 4.918 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.918 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.918 * [taylor]: Taking taylor expansion of -1 in x 4.918 * [taylor]: Taking taylor expansion of y in x 4.918 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 4.918 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 4.918 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.918 * [taylor]: Taking taylor expansion of -1 in x 4.918 * [taylor]: Taking taylor expansion of y in x 4.918 * [taylor]: Taking taylor expansion of 2 in x 4.918 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 4.918 * [taylor]: Taking taylor expansion of y in x 4.918 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.918 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.918 * [taylor]: Taking taylor expansion of -1 in x 4.918 * [taylor]: Taking taylor expansion of x in x 4.920 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)))) 2) in y 4.920 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)))) in y 4.920 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y))) in y 4.920 * [taylor]: Taking taylor expansion of -1/2 in y 4.920 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)) in y 4.920 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 4.920 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.920 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.920 * [taylor]: Taking taylor expansion of -1 in y 4.920 * [taylor]: Taking taylor expansion of y in y 4.920 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.920 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.920 * [taylor]: Taking taylor expansion of y in y 4.920 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y 4.920 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 4.920 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.920 * [taylor]: Taking taylor expansion of -1 in y 4.920 * [taylor]: Taking taylor expansion of x in y 4.921 * [taylor]: Taking taylor expansion of y in y 4.922 * [taylor]: Taking taylor expansion of 0 in y 4.929 * [taylor]: Taking taylor expansion of 0 in y 4.946 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 4.946 * [approximate]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in (x y) around 0 4.946 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in y 4.946 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 4.946 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 4.946 * [taylor]: Taking taylor expansion of (sinh y) in y 4.946 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.946 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.946 * [taylor]: Taking taylor expansion of (exp y) in y 4.946 * [taylor]: Taking taylor expansion of y in y 4.946 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.946 * [taylor]: Taking taylor expansion of (neg y) in y 4.946 * [taylor]: Taking taylor expansion of y in y 4.946 * [taylor]: Taking taylor expansion of 2 in y 4.946 * [taylor]: Taking taylor expansion of (cos x) in y 4.946 * [taylor]: Taking taylor expansion of x in y 4.946 * [taylor]: Taking taylor expansion of y in y 4.947 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in x 4.947 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 4.947 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 4.947 * [taylor]: Taking taylor expansion of (sinh y) in x 4.947 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.947 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 4.947 * [taylor]: Taking taylor expansion of (exp y) in x 4.947 * [taylor]: Taking taylor expansion of y in x 4.947 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 4.947 * [taylor]: Taking taylor expansion of (neg y) in x 4.947 * [taylor]: Taking taylor expansion of y in x 4.947 * [taylor]: Taking taylor expansion of 2 in x 4.947 * [taylor]: Taking taylor expansion of (cos x) in x 4.947 * [taylor]: Taking taylor expansion of x in x 4.947 * [taylor]: Taking taylor expansion of y in x 4.948 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in x 4.948 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 4.948 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 4.948 * [taylor]: Taking taylor expansion of (sinh y) in x 4.948 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.948 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 4.948 * [taylor]: Taking taylor expansion of (exp y) in x 4.948 * [taylor]: Taking taylor expansion of y in x 4.948 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 4.948 * [taylor]: Taking taylor expansion of (neg y) in x 4.948 * [taylor]: Taking taylor expansion of y in x 4.949 * [taylor]: Taking taylor expansion of 2 in x 4.949 * [taylor]: Taking taylor expansion of (cos x) in x 4.949 * [taylor]: Taking taylor expansion of x in x 4.949 * [taylor]: Taking taylor expansion of y in x 4.949 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (/ (- (exp y) (exp (neg y))) y))) in y 4.949 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 4.949 * [taylor]: Taking taylor expansion of 1/2 in y 4.950 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp y) (exp (neg y))) y)) in y 4.950 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 4.950 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.950 * [taylor]: Taking taylor expansion of (exp y) in y 4.950 * [taylor]: Taking taylor expansion of y in y 4.950 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.950 * [taylor]: Taking taylor expansion of (neg y) in y 4.950 * [taylor]: Taking taylor expansion of y in y 4.950 * [taylor]: Taking taylor expansion of y in y 4.950 * [taylor]: Taking taylor expansion of 0 in y 4.951 * [taylor]: Taking taylor expansion of (* 1/2 (* (/ (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) (sqrt 1/2)) (sqrt (/ y (- (exp y) (exp (neg y))))))) in y 4.951 * [taylor]: Taking taylor expansion of 1/2 in y 4.951 * [taylor]: Taking taylor expansion of (* (/ (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) (sqrt 1/2)) (sqrt (/ y (- (exp y) (exp (neg y)))))) in y 4.951 * [taylor]: Taking taylor expansion of (/ (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) (sqrt 1/2)) in y 4.952 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 4.952 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 4.952 * [taylor]: Taking taylor expansion of 1/4 in y 4.952 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 4.952 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.952 * [taylor]: Taking taylor expansion of (neg y) in y 4.952 * [taylor]: Taking taylor expansion of y in y 4.952 * [taylor]: Taking taylor expansion of y in y 4.952 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 4.952 * [taylor]: Taking taylor expansion of 1/4 in y 4.952 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 4.952 * [taylor]: Taking taylor expansion of (exp y) in y 4.952 * [taylor]: Taking taylor expansion of y in y 4.952 * [taylor]: Taking taylor expansion of y in y 4.952 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 4.952 * [taylor]: Taking taylor expansion of 1/2 in y 4.952 * [taylor]: Taking taylor expansion of (sqrt (/ y (- (exp y) (exp (neg y))))) in y 4.952 * [taylor]: Taking taylor expansion of (/ y (- (exp y) (exp (neg y)))) in y 4.952 * [taylor]: Taking taylor expansion of y in y 4.952 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.952 * [taylor]: Taking taylor expansion of (exp y) in y 4.952 * [taylor]: Taking taylor expansion of y in y 4.952 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.952 * [taylor]: Taking taylor expansion of (neg y) in y 4.952 * [taylor]: Taking taylor expansion of y in y 4.954 * [approximate]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in (x y) around 0 4.954 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y 4.954 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 4.954 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 4.954 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.954 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 4.954 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.954 * [taylor]: Taking taylor expansion of y in y 4.954 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 4.954 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.954 * [taylor]: Taking taylor expansion of y in y 4.955 * [taylor]: Taking taylor expansion of 2 in y 4.955 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 4.955 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 4.955 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.955 * [taylor]: Taking taylor expansion of x in y 4.955 * [taylor]: Taking taylor expansion of y in y 4.956 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x 4.956 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 4.956 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 4.956 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.956 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 4.956 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.956 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.956 * [taylor]: Taking taylor expansion of y in x 4.956 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 4.956 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 4.956 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.956 * [taylor]: Taking taylor expansion of y in x 4.956 * [taylor]: Taking taylor expansion of 2 in x 4.956 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 4.956 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.956 * [taylor]: Taking taylor expansion of x in x 4.956 * [taylor]: Taking taylor expansion of y in x 4.957 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x 4.957 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 4.958 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 4.958 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.958 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 4.958 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.958 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.958 * [taylor]: Taking taylor expansion of y in x 4.958 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 4.958 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 4.958 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.958 * [taylor]: Taking taylor expansion of y in x 4.958 * [taylor]: Taking taylor expansion of 2 in x 4.958 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 4.958 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.958 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.958 * [taylor]: Taking taylor expansion of x in x 4.958 * [taylor]: Taking taylor expansion of y in x 4.959 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)))) in y 4.959 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 4.959 * [taylor]: Taking taylor expansion of 1/2 in y 4.959 * [taylor]: Taking taylor expansion of (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 4.959 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 4.959 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 4.959 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.959 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.959 * [taylor]: Taking taylor expansion of y in y 4.959 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 4.959 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.959 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.960 * [taylor]: Taking taylor expansion of y in y 4.960 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 4.960 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 4.960 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.960 * [taylor]: Taking taylor expansion of x in y 4.960 * [taylor]: Taking taylor expansion of y in y 4.961 * [taylor]: Taking taylor expansion of 0 in y 4.962 * [taylor]: Taking taylor expansion of 0 in y 4.966 * [taylor]: Taking taylor expansion of 0 in y 4.978 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in (x y) around 0 4.978 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y 4.978 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 4.978 * [taylor]: Taking taylor expansion of -1 in y 4.978 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 4.978 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 4.978 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.978 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 4.978 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.978 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.978 * [taylor]: Taking taylor expansion of -1 in y 4.978 * [taylor]: Taking taylor expansion of y in y 4.978 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 4.978 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 4.978 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.978 * [taylor]: Taking taylor expansion of -1 in y 4.978 * [taylor]: Taking taylor expansion of y in y 4.978 * [taylor]: Taking taylor expansion of 2 in y 4.979 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 4.979 * [taylor]: Taking taylor expansion of y in y 4.979 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 4.979 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.979 * [taylor]: Taking taylor expansion of -1 in y 4.979 * [taylor]: Taking taylor expansion of x in y 4.980 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 4.980 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 4.980 * [taylor]: Taking taylor expansion of -1 in x 4.980 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 4.980 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 4.980 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.980 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 4.980 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.980 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.980 * [taylor]: Taking taylor expansion of -1 in x 4.980 * [taylor]: Taking taylor expansion of y in x 4.980 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 4.980 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 4.980 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.980 * [taylor]: Taking taylor expansion of -1 in x 4.980 * [taylor]: Taking taylor expansion of y in x 4.980 * [taylor]: Taking taylor expansion of 2 in x 4.980 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 4.980 * [taylor]: Taking taylor expansion of y in x 4.980 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.980 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.981 * [taylor]: Taking taylor expansion of -1 in x 4.981 * [taylor]: Taking taylor expansion of x in x 4.982 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 4.982 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 4.982 * [taylor]: Taking taylor expansion of -1 in x 4.982 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 4.982 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 4.982 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.982 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 4.982 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.982 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.982 * [taylor]: Taking taylor expansion of -1 in x 4.982 * [taylor]: Taking taylor expansion of y in x 4.982 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 4.982 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 4.982 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.982 * [taylor]: Taking taylor expansion of -1 in x 4.982 * [taylor]: Taking taylor expansion of y in x 4.982 * [taylor]: Taking taylor expansion of 2 in x 4.982 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 4.982 * [taylor]: Taking taylor expansion of y in x 4.982 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.982 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.982 * [taylor]: Taking taylor expansion of -1 in x 4.982 * [taylor]: Taking taylor expansion of x in x 4.984 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x)))))) in y 4.984 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x))))) in y 4.984 * [taylor]: Taking taylor expansion of -1/2 in y 4.984 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x)))) in y 4.984 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 4.984 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.984 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.984 * [taylor]: Taking taylor expansion of -1 in y 4.984 * [taylor]: Taking taylor expansion of y in y 4.984 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.984 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.984 * [taylor]: Taking taylor expansion of y in y 4.984 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 4.984 * [taylor]: Taking taylor expansion of y in y 4.984 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 4.984 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.984 * [taylor]: Taking taylor expansion of -1 in y 4.984 * [taylor]: Taking taylor expansion of x in y 4.985 * [taylor]: Taking taylor expansion of 0 in y 4.987 * [taylor]: Taking taylor expansion of 0 in y 4.990 * [taylor]: Taking taylor expansion of 0 in y 5.000 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 5.000 * [approximate]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in (x y) around 0 5.000 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in y 5.000 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 5.000 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 5.000 * [taylor]: Taking taylor expansion of (sinh y) in y 5.000 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 5.001 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 5.001 * [taylor]: Taking taylor expansion of (exp y) in y 5.001 * [taylor]: Taking taylor expansion of y in y 5.001 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 5.001 * [taylor]: Taking taylor expansion of (neg y) in y 5.001 * [taylor]: Taking taylor expansion of y in y 5.001 * [taylor]: Taking taylor expansion of 2 in y 5.001 * [taylor]: Taking taylor expansion of (cos x) in y 5.001 * [taylor]: Taking taylor expansion of x in y 5.001 * [taylor]: Taking taylor expansion of y in y 5.002 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in x 5.002 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 5.002 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 5.002 * [taylor]: Taking taylor expansion of (sinh y) in x 5.002 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 5.002 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 5.002 * [taylor]: Taking taylor expansion of (exp y) in x 5.002 * [taylor]: Taking taylor expansion of y in x 5.002 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 5.002 * [taylor]: Taking taylor expansion of (neg y) in x 5.002 * [taylor]: Taking taylor expansion of y in x 5.002 * [taylor]: Taking taylor expansion of 2 in x 5.002 * [taylor]: Taking taylor expansion of (cos x) in x 5.002 * [taylor]: Taking taylor expansion of x in x 5.002 * [taylor]: Taking taylor expansion of y in x 5.003 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in x 5.003 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 5.003 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 5.003 * [taylor]: Taking taylor expansion of (sinh y) in x 5.003 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 5.003 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 5.003 * [taylor]: Taking taylor expansion of (exp y) in x 5.003 * [taylor]: Taking taylor expansion of y in x 5.003 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 5.003 * [taylor]: Taking taylor expansion of (neg y) in x 5.003 * [taylor]: Taking taylor expansion of y in x 5.003 * [taylor]: Taking taylor expansion of 2 in x 5.003 * [taylor]: Taking taylor expansion of (cos x) in x 5.003 * [taylor]: Taking taylor expansion of x in x 5.003 * [taylor]: Taking taylor expansion of y in x 5.004 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (/ (- (exp y) (exp (neg y))) y))) in y 5.004 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 5.004 * [taylor]: Taking taylor expansion of 1/2 in y 5.004 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp y) (exp (neg y))) y)) in y 5.004 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 5.004 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 5.004 * [taylor]: Taking taylor expansion of (exp y) in y 5.004 * [taylor]: Taking taylor expansion of y in y 5.004 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 5.004 * [taylor]: Taking taylor expansion of (neg y) in y 5.004 * [taylor]: Taking taylor expansion of y in y 5.004 * [taylor]: Taking taylor expansion of y in y 5.005 * [taylor]: Taking taylor expansion of 0 in y 5.006 * [taylor]: Taking taylor expansion of (* 1/2 (* (/ (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) (sqrt 1/2)) (sqrt (/ y (- (exp y) (exp (neg y))))))) in y 5.006 * [taylor]: Taking taylor expansion of 1/2 in y 5.006 * [taylor]: Taking taylor expansion of (* (/ (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) (sqrt 1/2)) (sqrt (/ y (- (exp y) (exp (neg y)))))) in y 5.006 * [taylor]: Taking taylor expansion of (/ (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) (sqrt 1/2)) in y 5.006 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 5.006 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 5.006 * [taylor]: Taking taylor expansion of 1/4 in y 5.006 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 5.006 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 5.006 * [taylor]: Taking taylor expansion of (neg y) in y 5.006 * [taylor]: Taking taylor expansion of y in y 5.006 * [taylor]: Taking taylor expansion of y in y 5.006 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 5.006 * [taylor]: Taking taylor expansion of 1/4 in y 5.006 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 5.006 * [taylor]: Taking taylor expansion of (exp y) in y 5.006 * [taylor]: Taking taylor expansion of y in y 5.006 * [taylor]: Taking taylor expansion of y in y 5.006 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 5.006 * [taylor]: Taking taylor expansion of 1/2 in y 5.007 * [taylor]: Taking taylor expansion of (sqrt (/ y (- (exp y) (exp (neg y))))) in y 5.007 * [taylor]: Taking taylor expansion of (/ y (- (exp y) (exp (neg y)))) in y 5.007 * [taylor]: Taking taylor expansion of y in y 5.007 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 5.007 * [taylor]: Taking taylor expansion of (exp y) in y 5.007 * [taylor]: Taking taylor expansion of y in y 5.007 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 5.007 * [taylor]: Taking taylor expansion of (neg y) in y 5.007 * [taylor]: Taking taylor expansion of y in y 5.009 * [approximate]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in (x y) around 0 5.009 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y 5.009 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 5.009 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 5.009 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 5.009 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 5.009 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.009 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.009 * [taylor]: Taking taylor expansion of y in y 5.009 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 5.009 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 5.009 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.009 * [taylor]: Taking taylor expansion of y in y 5.009 * [taylor]: Taking taylor expansion of 2 in y 5.009 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 5.009 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 5.009 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.009 * [taylor]: Taking taylor expansion of x in y 5.009 * [taylor]: Taking taylor expansion of y in y 5.010 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x 5.010 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 5.010 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 5.010 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 5.011 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 5.011 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 5.011 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.011 * [taylor]: Taking taylor expansion of y in x 5.011 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 5.011 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 5.011 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.011 * [taylor]: Taking taylor expansion of y in x 5.011 * [taylor]: Taking taylor expansion of 2 in x 5.011 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 5.011 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 5.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.011 * [taylor]: Taking taylor expansion of x in x 5.011 * [taylor]: Taking taylor expansion of y in x 5.012 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x 5.012 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 5.012 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 5.012 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 5.012 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 5.012 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 5.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.012 * [taylor]: Taking taylor expansion of y in x 5.012 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 5.012 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 5.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.012 * [taylor]: Taking taylor expansion of y in x 5.012 * [taylor]: Taking taylor expansion of 2 in x 5.013 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 5.013 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 5.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.013 * [taylor]: Taking taylor expansion of x in x 5.013 * [taylor]: Taking taylor expansion of y in x 5.014 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)))) in y 5.014 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 5.014 * [taylor]: Taking taylor expansion of 1/2 in y 5.014 * [taylor]: Taking taylor expansion of (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 5.014 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 5.014 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 5.014 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.014 * [taylor]: Taking taylor expansion of y in y 5.014 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 5.014 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 5.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.014 * [taylor]: Taking taylor expansion of y in y 5.014 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 5.014 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 5.014 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.014 * [taylor]: Taking taylor expansion of x in y 5.014 * [taylor]: Taking taylor expansion of y in y 5.015 * [taylor]: Taking taylor expansion of 0 in y 5.017 * [taylor]: Taking taylor expansion of 0 in y 5.021 * [taylor]: Taking taylor expansion of 0 in y 5.032 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in (x y) around 0 5.032 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y 5.032 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 5.032 * [taylor]: Taking taylor expansion of -1 in y 5.032 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 5.032 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 5.032 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 5.032 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 5.032 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.032 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.032 * [taylor]: Taking taylor expansion of -1 in y 5.032 * [taylor]: Taking taylor expansion of y in y 5.032 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 5.032 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 5.032 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.032 * [taylor]: Taking taylor expansion of -1 in y 5.032 * [taylor]: Taking taylor expansion of y in y 5.032 * [taylor]: Taking taylor expansion of 2 in y 5.032 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 5.032 * [taylor]: Taking taylor expansion of y in y 5.032 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 5.032 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.032 * [taylor]: Taking taylor expansion of -1 in y 5.032 * [taylor]: Taking taylor expansion of x in y 5.034 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 5.034 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 5.034 * [taylor]: Taking taylor expansion of -1 in x 5.034 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 5.034 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 5.034 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 5.034 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 5.034 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 5.034 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.034 * [taylor]: Taking taylor expansion of -1 in x 5.034 * [taylor]: Taking taylor expansion of y in x 5.034 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 5.034 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 5.034 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.034 * [taylor]: Taking taylor expansion of -1 in x 5.034 * [taylor]: Taking taylor expansion of y in x 5.034 * [taylor]: Taking taylor expansion of 2 in x 5.034 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 5.034 * [taylor]: Taking taylor expansion of y in x 5.034 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 5.034 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.034 * [taylor]: Taking taylor expansion of -1 in x 5.034 * [taylor]: Taking taylor expansion of x in x 5.036 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 5.036 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 5.036 * [taylor]: Taking taylor expansion of -1 in x 5.036 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 5.036 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 5.036 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 5.036 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 5.036 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 5.036 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.036 * [taylor]: Taking taylor expansion of -1 in x 5.036 * [taylor]: Taking taylor expansion of y in x 5.036 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 5.036 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 5.036 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.036 * [taylor]: Taking taylor expansion of -1 in x 5.036 * [taylor]: Taking taylor expansion of y in x 5.036 * [taylor]: Taking taylor expansion of 2 in x 5.036 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 5.036 * [taylor]: Taking taylor expansion of y in x 5.036 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 5.036 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.037 * [taylor]: Taking taylor expansion of -1 in x 5.037 * [taylor]: Taking taylor expansion of x in x 5.038 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x)))))) in y 5.038 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x))))) in y 5.038 * [taylor]: Taking taylor expansion of -1/2 in y 5.038 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x)))) in y 5.038 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 5.038 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.038 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.038 * [taylor]: Taking taylor expansion of -1 in y 5.038 * [taylor]: Taking taylor expansion of y in y 5.038 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.038 * [taylor]: Taking taylor expansion of y in y 5.038 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 5.038 * [taylor]: Taking taylor expansion of y in y 5.038 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 5.038 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.038 * [taylor]: Taking taylor expansion of -1 in y 5.038 * [taylor]: Taking taylor expansion of x in y 5.039 * [taylor]: Taking taylor expansion of 0 in y 5.041 * [taylor]: Taking taylor expansion of 0 in y 5.044 * [taylor]: Taking taylor expansion of 0 in y 5.051 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 5.052 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 5.052 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 5.052 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 5.052 * [taylor]: Taking taylor expansion of (sinh y) in y 5.052 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 5.052 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 5.052 * [taylor]: Taking taylor expansion of (exp y) in y 5.052 * [taylor]: Taking taylor expansion of y in y 5.052 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 5.052 * [taylor]: Taking taylor expansion of (neg y) in y 5.052 * [taylor]: Taking taylor expansion of y in y 5.052 * [taylor]: Taking taylor expansion of 2 in y 5.052 * [taylor]: Taking taylor expansion of (cos x) in y 5.052 * [taylor]: Taking taylor expansion of x in y 5.052 * [taylor]: Taking taylor expansion of y in y 5.052 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 5.052 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 5.052 * [taylor]: Taking taylor expansion of (sinh y) in x 5.053 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 5.053 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 5.053 * [taylor]: Taking taylor expansion of (exp y) in x 5.053 * [taylor]: Taking taylor expansion of y in x 5.053 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 5.053 * [taylor]: Taking taylor expansion of (neg y) in x 5.053 * [taylor]: Taking taylor expansion of y in x 5.053 * [taylor]: Taking taylor expansion of 2 in x 5.053 * [taylor]: Taking taylor expansion of (cos x) in x 5.053 * [taylor]: Taking taylor expansion of x in x 5.053 * [taylor]: Taking taylor expansion of y in x 5.053 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 5.053 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 5.053 * [taylor]: Taking taylor expansion of (sinh y) in x 5.053 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 5.053 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 5.053 * [taylor]: Taking taylor expansion of (exp y) in x 5.053 * [taylor]: Taking taylor expansion of y in x 5.053 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 5.053 * [taylor]: Taking taylor expansion of (neg y) in x 5.053 * [taylor]: Taking taylor expansion of y in x 5.053 * [taylor]: Taking taylor expansion of 2 in x 5.053 * [taylor]: Taking taylor expansion of (cos x) in x 5.053 * [taylor]: Taking taylor expansion of x in x 5.054 * [taylor]: Taking taylor expansion of y in x 5.054 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (neg y))) y)) in y 5.054 * [taylor]: Taking taylor expansion of 1/2 in y 5.054 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 5.054 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 5.054 * [taylor]: Taking taylor expansion of (exp y) in y 5.054 * [taylor]: Taking taylor expansion of y in y 5.054 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 5.054 * [taylor]: Taking taylor expansion of (neg y) in y 5.054 * [taylor]: Taking taylor expansion of y in y 5.054 * [taylor]: Taking taylor expansion of y in y 5.054 * [taylor]: Taking taylor expansion of 0 in y 5.056 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 5.056 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 5.056 * [taylor]: Taking taylor expansion of 1/4 in y 5.056 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 5.056 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 5.056 * [taylor]: Taking taylor expansion of (neg y) in y 5.056 * [taylor]: Taking taylor expansion of y in y 5.056 * [taylor]: Taking taylor expansion of y in y 5.056 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 5.056 * [taylor]: Taking taylor expansion of 1/4 in y 5.056 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 5.056 * [taylor]: Taking taylor expansion of (exp y) in y 5.056 * [taylor]: Taking taylor expansion of y in y 5.056 * [taylor]: Taking taylor expansion of y in y 5.057 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 5.057 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 5.057 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 5.057 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 5.057 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 5.057 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.057 * [taylor]: Taking taylor expansion of y in y 5.057 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 5.057 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 5.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.057 * [taylor]: Taking taylor expansion of y in y 5.057 * [taylor]: Taking taylor expansion of 2 in y 5.058 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 5.058 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 5.058 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.058 * [taylor]: Taking taylor expansion of x in y 5.058 * [taylor]: Taking taylor expansion of y in y 5.058 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 5.058 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 5.058 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 5.058 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 5.058 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 5.058 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.058 * [taylor]: Taking taylor expansion of y in x 5.058 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 5.058 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 5.058 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.058 * [taylor]: Taking taylor expansion of y in x 5.058 * [taylor]: Taking taylor expansion of 2 in x 5.058 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 5.058 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 5.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.058 * [taylor]: Taking taylor expansion of x in x 5.058 * [taylor]: Taking taylor expansion of y in x 5.058 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 5.058 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 5.059 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 5.059 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 5.059 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 5.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.059 * [taylor]: Taking taylor expansion of y in x 5.059 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 5.059 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 5.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.059 * [taylor]: Taking taylor expansion of y in x 5.059 * [taylor]: Taking taylor expansion of 2 in x 5.059 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 5.059 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 5.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.059 * [taylor]: Taking taylor expansion of x in x 5.059 * [taylor]: Taking taylor expansion of y in x 5.059 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 5.059 * [taylor]: Taking taylor expansion of 1/2 in y 5.059 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 5.059 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 5.059 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.059 * [taylor]: Taking taylor expansion of y in y 5.060 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 5.060 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 5.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.060 * [taylor]: Taking taylor expansion of y in y 5.060 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 5.060 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 5.060 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.060 * [taylor]: Taking taylor expansion of x in y 5.060 * [taylor]: Taking taylor expansion of y in y 5.061 * [taylor]: Taking taylor expansion of 0 in y 5.062 * [taylor]: Taking taylor expansion of 0 in y 5.064 * [taylor]: Taking taylor expansion of 0 in y 5.064 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0 5.064 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 5.064 * [taylor]: Taking taylor expansion of -1 in y 5.064 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 5.064 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 5.064 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 5.064 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 5.064 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.064 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.064 * [taylor]: Taking taylor expansion of -1 in y 5.064 * [taylor]: Taking taylor expansion of y in y 5.065 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 5.065 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 5.065 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.065 * [taylor]: Taking taylor expansion of -1 in y 5.065 * [taylor]: Taking taylor expansion of y in y 5.065 * [taylor]: Taking taylor expansion of 2 in y 5.065 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 5.065 * [taylor]: Taking taylor expansion of y in y 5.065 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 5.065 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.065 * [taylor]: Taking taylor expansion of -1 in y 5.065 * [taylor]: Taking taylor expansion of x in y 5.065 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 5.065 * [taylor]: Taking taylor expansion of -1 in x 5.065 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 5.065 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 5.065 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 5.065 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 5.065 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 5.065 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.065 * [taylor]: Taking taylor expansion of -1 in x 5.065 * [taylor]: Taking taylor expansion of y in x 5.065 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 5.065 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 5.065 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.065 * [taylor]: Taking taylor expansion of -1 in x 5.065 * [taylor]: Taking taylor expansion of y in x 5.066 * [taylor]: Taking taylor expansion of 2 in x 5.066 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 5.066 * [taylor]: Taking taylor expansion of y in x 5.066 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 5.066 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.066 * [taylor]: Taking taylor expansion of -1 in x 5.066 * [taylor]: Taking taylor expansion of x in x 5.066 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 5.066 * [taylor]: Taking taylor expansion of -1 in x 5.066 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 5.066 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 5.066 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 5.066 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 5.066 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 5.066 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.066 * [taylor]: Taking taylor expansion of -1 in x 5.066 * [taylor]: Taking taylor expansion of y in x 5.066 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 5.066 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 5.066 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.066 * [taylor]: Taking taylor expansion of -1 in x 5.066 * [taylor]: Taking taylor expansion of y in x 5.066 * [taylor]: Taking taylor expansion of 2 in x 5.066 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 5.066 * [taylor]: Taking taylor expansion of y in x 5.066 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 5.066 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.066 * [taylor]: Taking taylor expansion of -1 in x 5.067 * [taylor]: Taking taylor expansion of x in x 5.067 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y))) in y 5.067 * [taylor]: Taking taylor expansion of -1/2 in y 5.067 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)) in y 5.067 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 5.067 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.067 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.067 * [taylor]: Taking taylor expansion of -1 in y 5.067 * [taylor]: Taking taylor expansion of y in y 5.067 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.067 * [taylor]: Taking taylor expansion of y in y 5.067 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y 5.067 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 5.067 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.067 * [taylor]: Taking taylor expansion of -1 in y 5.067 * [taylor]: Taking taylor expansion of x in y 5.067 * [taylor]: Taking taylor expansion of y in y 5.068 * [taylor]: Taking taylor expansion of 0 in y 5.070 * [taylor]: Taking taylor expansion of 0 in y 5.072 * [taylor]: Taking taylor expansion of 0 in y 5.072 * * * [progress]: simplifying candidates 5.074 * [simplify]: Simplifying using # : (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y)))) (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (+ 1 1) (+ (log (sqrt (* (cos x) (/ (sinh y) y)))) (log (sqrt (* (cos x) (/ (sinh y) y))))) (log (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))))) (exp (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))))) (* (* (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (* (cos x) (/ (sinh y) y)))) (* (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (* (cos x) (/ (sinh y) y))))) (* (cbrt (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))))) (cbrt (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y)))))) (cbrt (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))))) (* (* (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y)))) (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))))) (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))))) (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (sqrt (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))))) (sqrt (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))))) (* (sqrt (* (cos x) (sinh y))) (sqrt (* (cos x) (sinh y)))) (* (sqrt y) (sqrt y)) (* (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (cbrt (sqrt (* (cos x) (/ (sinh y) y))))) (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (cbrt (sqrt (* (cos x) (/ (sinh y) y)))))) (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (cbrt (sqrt (* (cos x) (/ (sinh y) y))))) (* (sqrt (cos x)) (sqrt (cos x))) (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (* (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (sqrt (* (cos x) (/ (sinh y) y))))) (* (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (sqrt (* (cos x) (/ (sinh y) y))))) (* 1 1) (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y)))) (* (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (sqrt (* (cos x) (/ (sinh y) y))))) (* (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (sqrt (* (cos x) (/ (sinh y) y))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* (sqrt (* (cos x) (/ (sinh y) y))) (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (cbrt (sqrt (* (cos x) (/ (sinh y) y)))))) (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (cos x))) (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (sqrt (* (cos x) (/ (sinh y) y))))) (* (sqrt (* (cos x) (/ (sinh y) y))) 1) (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (* (cos x) (/ (sinh y) y)))) (* (sqrt (/ (sinh y) y)) (sqrt (* (cos x) (/ (sinh y) y)))) (* (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (* (cos x) (/ (sinh y) y)))) (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y)))) (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (sinh y)))) (* (sqrt (* (cos x) (sinh y))) (sqrt (* (cos x) (/ (sinh y) y)))) (log (sqrt (* (cos x) (/ (sinh y) y)))) (exp (sqrt (* (cos x) (/ (sinh y) y)))) (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (cbrt (sqrt (* (cos x) (/ (sinh y) y))))) (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (* (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (cos x)) (sqrt (/ (sinh y) y)) (sqrt (* (cos x) (sinh y))) (sqrt y) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (log (sqrt (* (cos x) (/ (sinh y) y)))) (exp (sqrt (* (cos x) (/ (sinh y) y)))) (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (cbrt (sqrt (* (cos x) (/ (sinh y) y))))) (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (* (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (cos x)) (sqrt (/ (sinh y) y)) (sqrt (* (cos x) (sinh y))) (sqrt y) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (* (cos x) (/ (sinh y) y)) (+ (log (cos x)) (- (log (sinh y)) (log y))) (+ (log (cos x)) (log (/ (sinh y) y))) (log (* (cos x) (/ (sinh y) y))) (exp (* (cos x) (/ (sinh y) y))) (* (* (* (cos x) (cos x)) (cos x)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y))) (* (* (* (cos x) (cos x)) (cos x)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y))) (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y)))) (cbrt (* (cos x) (/ (sinh y) y))) (* (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) (* (sqrt (cos x)) (sqrt (/ (sinh y) y))) (* (sqrt (cos x)) (sqrt (/ (sinh y) y))) (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y))) (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y))) (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (* (cos x) (sqrt (/ (sinh y) y))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)) (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (* (cos x) (/ (sqrt (sinh y)) (sqrt y))) (* (cos x) (/ (sqrt (sinh y)) 1)) (* (cos x) (/ 1 (* (cbrt y) (cbrt y)))) (* (cos x) (/ 1 (sqrt y))) (* (cos x) (/ 1 1)) (* (cos x) 1) (* (cos x) (sinh y)) (* (cbrt (cos x)) (/ (sinh y) y)) (* (sqrt (cos x)) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y)) (* (cos x) (sinh y)) (- (+ 1 (* 1/6 (pow y 2))) (* 1/2 (pow x 2))) (/ (- (* 1/2 (* (exp y) (cos x))) (* 1/2 (* (exp (neg y)) (cos x)))) y) (- (+ (* 1/4 (/ (* (pow (cos x) 2) (* (pow NAN 2) (pow (exp (* -1 y)) 2))) (pow y 2))) (+ (* 1/4 (/ (* (pow NAN 4) (* (pow (cos x) 3) (pow (exp (* -1 y)) 3))) (pow y 3))) (+ (* 5/16 (/ (* (pow NAN 6) (* (pow (cos x) 4) (pow (exp (* -1 y)) 4))) (pow y 4))) (+ (* 15/8 (/ (* (pow (cos x) 4) (* (pow (exp y) 2) (* (pow NAN 6) (pow (exp (* -1 y)) 2)))) (pow y 4))) (+ (* 5/16 (/ (* (pow NAN 6) (* (pow (exp y) 4) (pow (cos x) 4))) (pow y 4))) (+ (* 3/4 (/ (* (pow (cos x) 3) (* (pow (exp y) 2) (* (pow NAN 4) (exp (* -1 y))))) (pow y 3))) (* 1/4 (/ (* (pow (cos x) 2) (* (pow (exp y) 2) (pow NAN 2))) (pow y 2))))))))) (+ (* 5/4 (/ (* (pow (cos x) 4) (* (pow (exp y) 3) (* (pow NAN 6) (exp (* -1 y))))) (pow y 4))) (+ (* 5/4 (/ (* (pow (cos x) 4) (* (exp y) (* (pow NAN 6) (pow (exp (* -1 y)) 3)))) (pow y 4))) (+ (* 1/4 (/ (* (pow NAN 4) (* (pow (exp y) 3) (pow (cos x) 3))) (pow y 3))) (+ (* 3/4 (/ (* (pow (cos x) 3) (* (exp y) (* (pow NAN 4) (pow (exp (* -1 y)) 2)))) (pow y 3))) (* 1/2 (/ (* (pow (cos x) 2) (* (exp y) (* (pow NAN 2) (exp (* -1 y))))) (pow y 2)))))))) (- (+ (* 1/6 (/ (* (sqrt 1/2) (pow y 2)) (sqrt 2))) (* (sqrt 1/2) (sqrt 2))) (* 1/4 (pow x 2))) (- (+ (/ (* (sqrt 1/2) (* (exp y) (* NAN (cos x)))) y) (+ (* 2 (/ (* (sqrt 1/2) (* (exp y) (* (exp (neg y)) (* (pow NAN 3) (pow (cos x) 2))))) (pow y 2))) (+ (* 6 (/ (* (sqrt 1/2) (* (exp y) (* (pow (exp (neg y)) 2) (* (pow NAN 5) (pow (cos x) 3))))) (pow y 3))) (* 2 (/ (* (sqrt 1/2) (* (pow (exp y) 3) (* (pow NAN 5) (pow (cos x) 3)))) (pow y 3)))))) (+ (/ (* (sqrt 1/2) (* (pow (exp y) 2) (* (pow NAN 3) (pow (cos x) 2)))) (pow y 2)) (+ (* 2 (/ (* (sqrt 1/2) (* (pow (exp (neg y)) 3) (* (pow NAN 5) (pow (cos x) 3)))) (pow y 3))) (+ (/ (* (sqrt 1/2) (* (pow (exp (neg y)) 2) (* (pow NAN 3) (pow (cos x) 2)))) (pow y 2)) (+ (* 6 (/ (* (sqrt 1/2) (* (pow (exp y) 2) (* (exp (neg y)) (* (pow NAN 5) (pow (cos x) 3))))) (pow y 3))) (/ (* (sqrt 1/2) (* (exp (neg y)) (* NAN (cos x)))) y)))))) (- (+ (* 1/4 (/ (* (pow NAN 5) (* (pow (exp y) 3) (pow (cos x) 3))) (pow y 3))) (+ (* 1/2 (/ (* NAN (* (exp y) (cos x))) y)) (+ (* 1/2 (/ (* (pow (cos x) 2) (* (exp y) (* (pow NAN 3) (exp (* -1 y))))) (pow y 2))) (* 3/4 (/ (* (pow (cos x) 3) (* (exp y) (* (pow NAN 5) (pow (exp (* -1 y)) 2)))) (pow y 3)))))) (+ (* 3/4 (/ (* (pow (cos x) 3) (* (pow (exp y) 2) (* (pow NAN 5) (exp (* -1 y))))) (pow y 3))) (+ (* 1/4 (/ (* (pow (cos x) 2) (* (pow NAN 3) (pow (exp (* -1 y)) 2))) (pow y 2))) (+ (* 1/4 (/ (* (pow NAN 5) (* (pow (cos x) 3) (pow (exp (* -1 y)) 3))) (pow y 3))) (+ (* 1/2 (/ (* NAN (* (cos x) (exp (* -1 y)))) y)) (* 1/4 (/ (* (pow (cos x) 2) (* (pow (exp y) 2) (pow NAN 3))) (pow y 2)))))))) (- (+ (* 1/6 (/ (* (sqrt 1/2) (pow y 2)) (sqrt 2))) (* (sqrt 1/2) (sqrt 2))) (* 1/4 (pow x 2))) (- (+ (/ (* (sqrt 1/2) (* (exp y) (* NAN (cos x)))) y) (+ (* 2 (/ (* (sqrt 1/2) (* (exp y) (* (exp (neg y)) (* (pow NAN 3) (pow (cos x) 2))))) (pow y 2))) (+ (* 6 (/ (* (sqrt 1/2) (* (exp y) (* (pow (exp (neg y)) 2) (* (pow NAN 5) (pow (cos x) 3))))) (pow y 3))) (* 2 (/ (* (sqrt 1/2) (* (pow (exp y) 3) (* (pow NAN 5) (pow (cos x) 3)))) (pow y 3)))))) (+ (/ (* (sqrt 1/2) (* (pow (exp y) 2) (* (pow NAN 3) (pow (cos x) 2)))) (pow y 2)) (+ (* 2 (/ (* (sqrt 1/2) (* (pow (exp (neg y)) 3) (* (pow NAN 5) (pow (cos x) 3)))) (pow y 3))) (+ (/ (* (sqrt 1/2) (* (pow (exp (neg y)) 2) (* (pow NAN 3) (pow (cos x) 2)))) (pow y 2)) (+ (* 6 (/ (* (sqrt 1/2) (* (pow (exp y) 2) (* (exp (neg y)) (* (pow NAN 5) (pow (cos x) 3))))) (pow y 3))) (/ (* (sqrt 1/2) (* (exp (neg y)) (* NAN (cos x)))) y)))))) (- (+ (* 1/4 (/ (* (pow NAN 5) (* (pow (exp y) 3) (pow (cos x) 3))) (pow y 3))) (+ (* 1/2 (/ (* NAN (* (exp y) (cos x))) y)) (+ (* 1/2 (/ (* (pow (cos x) 2) (* (exp y) (* (pow NAN 3) (exp (* -1 y))))) (pow y 2))) (* 3/4 (/ (* (pow (cos x) 3) (* (exp y) (* (pow NAN 5) (pow (exp (* -1 y)) 2)))) (pow y 3)))))) (+ (* 3/4 (/ (* (pow (cos x) 3) (* (pow (exp y) 2) (* (pow NAN 5) (exp (* -1 y))))) (pow y 3))) (+ (* 1/4 (/ (* (pow (cos x) 2) (* (pow NAN 3) (pow (exp (* -1 y)) 2))) (pow y 2))) (+ (* 1/4 (/ (* (pow NAN 5) (* (pow (cos x) 3) (pow (exp (* -1 y)) 3))) (pow y 3))) (+ (* 1/2 (/ (* NAN (* (cos x) (exp (* -1 y)))) y)) (* 1/4 (/ (* (pow (cos x) 2) (* (pow (exp y) 2) (pow NAN 3))) (pow y 2)))))))) (- (+ 1 (* 1/6 (pow y 2))) (* 1/2 (pow x 2))) (/ (- (* 1/2 (* (exp y) (cos x))) (* 1/2 (* (exp (neg y)) (cos x)))) y) (* -1 (/ (- (* 1/2 (* (cos x) (exp (* -1 y)))) (* 1/2 (* (exp y) (cos x)))) y)) 5.090 * * [simplify]: iteration 0 : 328 enodes (cost 2521 ) 5.148 * * [simplify]: iteration 1 : 957 enodes (cost 2154 ) 5.374 * * [simplify]: iteration done : 5000 enodes (cost 2102 ) 5.375 * [simplify]: Simplified to: 1 1 1 2 1 1 1 1 1 1 (* (* (/ (sinh y) y) (pow (cos x) 2)) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y)) (* (* (/ (sinh y) y) (pow (cos x) 2)) (/ (sinh y) y)) (* (* (/ (sinh y) y) (pow (cos x) 2)) (/ (sinh y) y)) (* (* (/ (sinh y) y) (pow (cos x) 2)) (/ (sinh y) y)) (* (* (/ (sinh y) y) (pow (cos x) 2)) (/ (sinh y) y)) 2 (* 2 (log (sqrt (* (cos x) (/ (sinh y) y))))) (log (* (cos x) (/ (sinh y) y))) (exp (* (cos x) (/ (sinh y) y))) (* (* (pow (cos x) 2) (* (/ (sinh y) y) (* (cos x) (/ (sinh y) y)))) (/ (sinh y) y)) (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y)))) (cbrt (* (cos x) (/ (sinh y) y))) (* (* (pow (cos x) 2) (* (/ (sinh y) y) (* (cos x) (/ (sinh y) y)))) (/ (sinh y) y)) (* (* (/ (sinh y) y) (pow (cos x) 2)) (/ (sinh y) y)) (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) (* (sinh y) (cos x)) y (* (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (cbrt (sqrt (* (cos x) (/ (sinh y) y))))) (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (cbrt (sqrt (* (cos x) (/ (sinh y) y)))))) (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (cbrt (sqrt (* (cos x) (/ (sinh y) y))))) (cos x) (/ (sinh y) y) (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) 1 (* (cos x) (/ (sinh y) y)) (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) 1 2 1 1 1 1 (* (sqrt (* (cos x) (/ (sinh y) y))) (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (cbrt (sqrt (* (cos x) (/ (sinh y) y)))))) (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (cos x))) (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (sqrt (* (cos x) (/ (sinh y) y))))) (sqrt (* (cos x) (/ (sinh y) y))) (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (* (cos x) (/ (sinh y) y)))) (* (sqrt (/ (sinh y) y)) (sqrt (* (cos x) (/ (sinh y) y)))) (* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (sqrt (* (cos x) (/ (sinh y) y))))) (* (cos x) (/ (sinh y) y)) (* (sqrt (* (cos x) (sinh y))) (sqrt (* (cos x) (/ (sinh y) y)))) (* (sqrt (* (cos x) (sinh y))) (sqrt (* (cos x) (/ (sinh y) y)))) (log (sqrt (* (cos x) (/ (sinh y) y)))) (exp (sqrt (* (cos x) (/ (sinh y) y)))) (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (cbrt (sqrt (* (cos x) (/ (sinh y) y))))) (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (* (sqrt (* (cos x) (/ (sinh y) y))) (* (cos x) (/ (sinh y) y))) (sqrt (cos x)) (sqrt (/ (sinh y) y)) (sqrt (* (cos x) (sinh y))) (sqrt y) 1/2 1/2 (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (log (sqrt (* (cos x) (/ (sinh y) y)))) (exp (sqrt (* (cos x) (/ (sinh y) y)))) (* (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (cbrt (sqrt (* (cos x) (/ (sinh y) y))))) (cbrt (sqrt (* (cos x) (/ (sinh y) y)))) (* (sqrt (* (cos x) (/ (sinh y) y))) (* (cos x) (/ (sinh y) y))) (sqrt (cos x)) (sqrt (/ (sinh y) y)) (sqrt (* (cos x) (sinh y))) (sqrt y) 1/2 1/2 (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (sqrt (sqrt (* (cos x) (/ (sinh y) y)))) (* (cos x) (/ (sinh y) y)) (+ (log (cos x)) (- (log (sinh y)) (log y))) (+ (log (cos x)) (log (/ (sinh y) y))) (log (* (cos x) (/ (sinh y) y))) (exp (* (cos x) (/ (sinh y) y))) (/ (* (pow (cos x) 3) (* (* (sinh y) (sinh y)) (sinh y))) (pow y 3)) (* (pow (cos x) 3) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y))) (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y)))) (cbrt (* (cos x) (/ (sinh y) y))) (* (* (pow (cos x) 2) (* (/ (sinh y) y) (* (cos x) (/ (sinh y) y)))) (/ (sinh y) y)) (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) (* (sqrt (cos x)) (sqrt (/ (sinh y) y))) (* (sqrt (cos x)) (sqrt (/ (sinh y) y))) (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y))) (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y))) (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (* (cos x) (sqrt (/ (sinh y) y))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (* (cos x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (* (cos x) (/ (sqrt (sinh y)) (sqrt y))) (* (cos x) (sqrt (sinh y))) (/ (cos x) (* (cbrt y) (cbrt y))) (/ (cos x) (sqrt y)) (cos x) (cos x) (* (sinh y) (cos x)) (* (cbrt (cos x)) (/ (sinh y) y)) (* (sqrt (cos x)) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y)) (* (sinh y) (cos x)) (- (+ 1 (* 1/6 (pow y 2))) (* 1/2 (pow x 2))) (/ (* (* (cos x) (- (exp y) (exp (neg y)))) 1/2) y) (+ (* 1/4 (+ (/ (* (* (pow NAN 2) (pow (exp (neg y)) 2)) (pow (cos x) 2)) (pow y 2)) (/ (* (* (pow NAN 4) (pow (cos x) 3)) (pow (exp (neg y)) 3)) (pow y 3)))) (- (+ (+ (/ (* 5/16 (* (* (pow NAN 6) (pow (cos x) 4)) (pow (exp (neg y)) 4))) (pow y 4)) (/ (* 15/8 (* (pow (cos x) 4) (* (* (pow (exp y) 2) (pow NAN 6)) (pow (exp (neg y)) 2)))) (pow y 4))) (+ (+ (* 1/4 (/ (* (pow (cos x) 2) (* (pow (exp y) 2) (pow NAN 2))) (pow y 2))) (/ (* 3/4 (* (pow (cos x) 3) (* (* (pow (exp y) 2) (pow NAN 4)) (exp (neg y))))) (pow y 3))) (* 5/16 (/ (* (pow NAN 6) (* (pow (exp y) 4) (pow (cos x) 4))) (pow y 4))))) (+ (+ (+ (* 1/4 (/ (* (pow NAN 4) (* (pow (exp y) 3) (pow (cos x) 3))) (pow y 3))) (/ (* 3/4 (* (pow (cos x) 3) (* (exp y) (* (pow (exp (neg y)) 2) (pow NAN 4))))) (pow y 3))) (* 1/2 (/ (pow (cos x) 2) (/ (pow y 2) (* (* (exp y) (pow NAN 2)) (exp (neg y))))))) (* 5/4 (+ (/ (* (pow (cos x) 4) (* (pow (exp y) 3) (* (exp (neg y)) (pow NAN 6)))) (pow y 4)) (/ (* (* (exp y) (* (pow NAN 6) (pow (exp (neg y)) 3))) (pow (cos x) 4)) (pow y 4))))))) (- (+ (* 1/6 (/ (* (sqrt 1/2) (pow y 2)) (sqrt 2))) (* (sqrt 1/2) (sqrt 2))) (* 1/4 (pow x 2))) (- (- (- (+ (/ (* (sqrt 1/2) (* (exp y) (* NAN (cos x)))) y) (+ (* 2 (/ (* (sqrt 1/2) (* (exp y) (* (exp (neg y)) (* (pow NAN 3) (pow (cos x) 2))))) (pow y 2))) (+ (* 6 (/ (* (sqrt 1/2) (* (exp y) (* (pow (exp (neg y)) 2) (* (pow NAN 5) (pow (cos x) 3))))) (pow y 3))) (* 2 (/ (* (sqrt 1/2) (* (pow (exp y) 3) (* (pow NAN 5) (pow (cos x) 3)))) (pow y 3)))))) (/ (* (sqrt 1/2) (* (pow (exp y) 2) (* (pow NAN 3) (pow (cos x) 2)))) (pow y 2))) (+ (* 2 (/ (* (sqrt 1/2) (* (pow (exp (neg y)) 3) (* (pow NAN 5) (pow (cos x) 3)))) (pow y 3))) (/ (* (sqrt 1/2) (* (pow (exp (neg y)) 2) (* (pow NAN 3) (pow (cos x) 2)))) (pow y 2)))) (+ (/ (* (/ (* NAN (cos x)) (exp y)) (sqrt 1/2)) y) (* 6 (/ (* (sqrt 1/2) (* (pow (exp y) 2) (* (exp (neg y)) (* (pow NAN 5) (pow (cos x) 3))))) (pow y 3))))) (+ (* 1/4 (/ (* (pow NAN 5) (* (pow (exp y) 3) (pow (cos x) 3))) (pow y 3))) (- (+ (/ (* 3/4 (* (pow (cos x) 3) (* (* (pow (exp (neg y)) 2) (pow NAN 5)) (exp y)))) (pow y 3)) (* 1/2 (+ (/ (* NAN (* (exp y) (cos x))) y) (/ (* (* (* (exp y) (pow NAN 3)) (exp (neg y))) (pow (cos x) 2)) (pow y 2))))) (+ (* 1/4 (+ (/ (* (* (pow NAN 3) (pow (cos x) 2)) (pow (exp (neg y)) 2)) (pow y 2)) (/ (* (* (pow NAN 5) (pow (cos x) 3)) (pow (exp (neg y)) 3)) (pow y 3)))) (+ (+ (* 1/4 (/ (* (pow (cos x) 2) (* (pow (exp y) 2) (pow NAN 3))) (pow y 2))) (* 1/2 (/ (* (* NAN (cos x)) (exp (neg y))) y))) (* (/ (pow (cos x) 3) (/ (pow y 3) (* (* (pow (exp y) 2) (pow NAN 5)) (exp (neg y))))) 3/4))))) (- (+ (* 1/6 (/ (* (sqrt 1/2) (pow y 2)) (sqrt 2))) (* (sqrt 1/2) (sqrt 2))) (* 1/4 (pow x 2))) (- (- (- (+ (/ (* (sqrt 1/2) (* (exp y) (* NAN (cos x)))) y) (+ (* 2 (/ (* (sqrt 1/2) (* (exp y) (* (exp (neg y)) (* (pow NAN 3) (pow (cos x) 2))))) (pow y 2))) (+ (* 6 (/ (* (sqrt 1/2) (* (exp y) (* (pow (exp (neg y)) 2) (* (pow NAN 5) (pow (cos x) 3))))) (pow y 3))) (* 2 (/ (* (sqrt 1/2) (* (pow (exp y) 3) (* (pow NAN 5) (pow (cos x) 3)))) (pow y 3)))))) (/ (* (sqrt 1/2) (* (pow (exp y) 2) (* (pow NAN 3) (pow (cos x) 2)))) (pow y 2))) (+ (* 2 (/ (* (sqrt 1/2) (* (pow (exp (neg y)) 3) (* (pow NAN 5) (pow (cos x) 3)))) (pow y 3))) (/ (* (sqrt 1/2) (* (pow (exp (neg y)) 2) (* (pow NAN 3) (pow (cos x) 2)))) (pow y 2)))) (+ (/ (* (/ (* NAN (cos x)) (exp y)) (sqrt 1/2)) y) (* 6 (/ (* (sqrt 1/2) (* (pow (exp y) 2) (* (exp (neg y)) (* (pow NAN 5) (pow (cos x) 3))))) (pow y 3))))) (+ (* 1/4 (/ (* (pow NAN 5) (* (pow (exp y) 3) (pow (cos x) 3))) (pow y 3))) (- (+ (/ (* 3/4 (* (pow (cos x) 3) (* (* (pow (exp (neg y)) 2) (pow NAN 5)) (exp y)))) (pow y 3)) (* 1/2 (+ (/ (* NAN (* (exp y) (cos x))) y) (/ (* (* (* (exp y) (pow NAN 3)) (exp (neg y))) (pow (cos x) 2)) (pow y 2))))) (+ (* 1/4 (+ (/ (* (* (pow NAN 3) (pow (cos x) 2)) (pow (exp (neg y)) 2)) (pow y 2)) (/ (* (* (pow NAN 5) (pow (cos x) 3)) (pow (exp (neg y)) 3)) (pow y 3)))) (+ (+ (* 1/4 (/ (* (pow (cos x) 2) (* (pow (exp y) 2) (pow NAN 3))) (pow y 2))) (* 1/2 (/ (* (* NAN (cos x)) (exp (neg y))) y))) (* (/ (pow (cos x) 3) (/ (pow y 3) (* (* (pow (exp y) 2) (pow NAN 5)) (exp (neg y))))) 3/4))))) (- (+ 1 (* 1/6 (pow y 2))) (* 1/2 (pow x 2))) (/ (* (* (cos x) (- (exp y) (exp (neg y)))) 1/2) y) (/ (neg (* (* (cos x) (- (exp (neg y)) (exp y))) 1/2)) y) 5.376 * * * [progress]: adding candidates to table 5.541 * [progress]: [Phase 3 of 3] Extracting. 5.541 * * [regime]: Finding splitpoints for: (# # #) 5.542 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sinh y) y) (cos x) (* (cos x) (/ (sinh y) y)) y x) 5.542 * * * * [regimes]: Trying to branch on (/ (sinh y) y) from (# # #) 5.573 * * * * [regimes]: Trying to branch on (cos x) from (# # #) 5.612 * * * * [regimes]: Trying to branch on (* (cos x) (/ (sinh y) y)) from (# # #) 5.656 * * * * [regimes]: Trying to branch on y from (# # #) 5.692 * * * * [regimes]: Trying to branch on x from (# # #) 5.729 * * * [regime]: Found split indices: #