11.653 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.086 * * * [progress]: [2/2] Setting up program. 0.089 * [progress]: [Phase 2 of 3] Improving. 0.089 * [simplify]: Simplifying using # : (* (cos x) (/ (sinh y) y)) 0.090 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.090 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.092 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 0.096 * * [simplify]: iteration 3 : 64 enodes (cost 7 ) 0.103 * * [simplify]: iteration 4 : 135 enodes (cost 7 ) 0.120 * * [simplify]: iteration 5 : 245 enodes (cost 7 ) 0.157 * * [simplify]: iteration 6 : 461 enodes (cost 7 ) 0.245 * * [simplify]: iteration 7 : 1060 enodes (cost 7 ) 0.476 * * [simplify]: iteration 8 : 2537 enodes (cost 7 ) 0.935 * * [simplify]: iteration 9 : 4241 enodes (cost 7 ) 1.297 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 1.297 * [simplify]: Simplified to: (* (cos x) (/ (sinh y) y)) 1.297 * * [progress]: iteration 1 / 4 1.298 * * * [progress]: picking best candidate 1.300 * * * * [pick]: Picked # 1.300 * * * [progress]: localizing error 1.307 * * * [progress]: generating rewritten candidates 1.307 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.321 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1.325 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 1.329 * * * [progress]: generating series expansions 1.329 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.329 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 1.329 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 1.329 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 1.329 * [taylor]: Taking taylor expansion of (sinh y) in y 1.330 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.330 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 1.330 * [taylor]: Taking taylor expansion of (exp y) in y 1.330 * [taylor]: Taking taylor expansion of y in y 1.330 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.330 * [taylor]: Taking taylor expansion of (neg y) in y 1.330 * [taylor]: Taking taylor expansion of y in y 1.331 * [taylor]: Taking taylor expansion of 2 in y 1.331 * [taylor]: Taking taylor expansion of (cos x) in y 1.331 * [taylor]: Taking taylor expansion of x in y 1.331 * [taylor]: Taking taylor expansion of y in y 1.331 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 1.331 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 1.331 * [taylor]: Taking taylor expansion of (sinh y) in x 1.331 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.331 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 1.331 * [taylor]: Taking taylor expansion of (exp y) in x 1.331 * [taylor]: Taking taylor expansion of y in x 1.331 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 1.331 * [taylor]: Taking taylor expansion of (neg y) in x 1.331 * [taylor]: Taking taylor expansion of y in x 1.331 * [taylor]: Taking taylor expansion of 2 in x 1.332 * [taylor]: Taking taylor expansion of (cos x) in x 1.332 * [taylor]: Taking taylor expansion of x in x 1.332 * [taylor]: Taking taylor expansion of y in x 1.332 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 1.332 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 1.332 * [taylor]: Taking taylor expansion of (sinh y) in x 1.332 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.332 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 1.332 * [taylor]: Taking taylor expansion of (exp y) in x 1.332 * [taylor]: Taking taylor expansion of y in x 1.332 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 1.332 * [taylor]: Taking taylor expansion of (neg y) in x 1.332 * [taylor]: Taking taylor expansion of y in x 1.332 * [taylor]: Taking taylor expansion of 2 in x 1.332 * [taylor]: Taking taylor expansion of (cos x) in x 1.332 * [taylor]: Taking taylor expansion of x in x 1.332 * [taylor]: Taking taylor expansion of y in x 1.332 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (neg y))) y)) in y 1.332 * [taylor]: Taking taylor expansion of 1/2 in y 1.332 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 1.332 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 1.332 * [taylor]: Taking taylor expansion of (exp y) in y 1.332 * [taylor]: Taking taylor expansion of y in y 1.332 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.332 * [taylor]: Taking taylor expansion of (neg y) in y 1.333 * [taylor]: Taking taylor expansion of y in y 1.333 * [taylor]: Taking taylor expansion of y in y 1.333 * [taylor]: Taking taylor expansion of 0 in y 1.335 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 1.335 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 1.335 * [taylor]: Taking taylor expansion of 1/4 in y 1.335 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 1.335 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.335 * [taylor]: Taking taylor expansion of (neg y) in y 1.335 * [taylor]: Taking taylor expansion of y in y 1.335 * [taylor]: Taking taylor expansion of y in y 1.335 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 1.335 * [taylor]: Taking taylor expansion of 1/4 in y 1.335 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 1.335 * [taylor]: Taking taylor expansion of (exp y) in y 1.335 * [taylor]: Taking taylor expansion of y in y 1.335 * [taylor]: Taking taylor expansion of y in y 1.336 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 1.336 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 1.336 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 1.336 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.336 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 1.336 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.336 * [taylor]: Taking taylor expansion of y in y 1.336 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 1.337 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.337 * [taylor]: Taking taylor expansion of y in y 1.337 * [taylor]: Taking taylor expansion of 2 in y 1.337 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 1.337 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 1.337 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.337 * [taylor]: Taking taylor expansion of x in y 1.337 * [taylor]: Taking taylor expansion of y in y 1.337 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 1.337 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 1.337 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.337 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 1.337 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 1.337 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.337 * [taylor]: Taking taylor expansion of y in x 1.337 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 1.337 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 1.337 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.337 * [taylor]: Taking taylor expansion of y in x 1.337 * [taylor]: Taking taylor expansion of 2 in x 1.338 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 1.338 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.338 * [taylor]: Taking taylor expansion of x in x 1.338 * [taylor]: Taking taylor expansion of y in x 1.338 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 1.338 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 1.338 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.338 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 1.338 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 1.338 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.338 * [taylor]: Taking taylor expansion of y in x 1.338 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 1.338 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 1.338 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.338 * [taylor]: Taking taylor expansion of y in x 1.338 * [taylor]: Taking taylor expansion of 2 in x 1.338 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 1.338 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.338 * [taylor]: Taking taylor expansion of x in x 1.339 * [taylor]: Taking taylor expansion of y in x 1.339 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 1.339 * [taylor]: Taking taylor expansion of 1/2 in y 1.339 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 1.339 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 1.339 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.339 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.339 * [taylor]: Taking taylor expansion of y in y 1.339 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 1.339 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.339 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.339 * [taylor]: Taking taylor expansion of y in y 1.339 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 1.339 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 1.339 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.339 * [taylor]: Taking taylor expansion of x in y 1.339 * [taylor]: Taking taylor expansion of y in y 1.340 * [taylor]: Taking taylor expansion of 0 in y 1.342 * [taylor]: Taking taylor expansion of 0 in y 1.344 * [taylor]: Taking taylor expansion of 0 in y 1.344 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0 1.344 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 1.344 * [taylor]: Taking taylor expansion of -1 in y 1.344 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 1.344 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 1.344 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.344 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 1.344 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 1.344 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.344 * [taylor]: Taking taylor expansion of -1 in y 1.344 * [taylor]: Taking taylor expansion of y in y 1.344 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 1.344 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 1.344 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.344 * [taylor]: Taking taylor expansion of -1 in y 1.344 * [taylor]: Taking taylor expansion of y in y 1.344 * [taylor]: Taking taylor expansion of 2 in y 1.345 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 1.345 * [taylor]: Taking taylor expansion of y in y 1.345 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 1.345 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.345 * [taylor]: Taking taylor expansion of -1 in y 1.345 * [taylor]: Taking taylor expansion of x in y 1.345 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 1.345 * [taylor]: Taking taylor expansion of -1 in x 1.345 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 1.345 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 1.345 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.345 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 1.345 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 1.345 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.345 * [taylor]: Taking taylor expansion of -1 in x 1.345 * [taylor]: Taking taylor expansion of y in x 1.345 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 1.345 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 1.345 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.345 * [taylor]: Taking taylor expansion of -1 in x 1.345 * [taylor]: Taking taylor expansion of y in x 1.345 * [taylor]: Taking taylor expansion of 2 in x 1.345 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 1.345 * [taylor]: Taking taylor expansion of y in x 1.345 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.345 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.345 * [taylor]: Taking taylor expansion of -1 in x 1.345 * [taylor]: Taking taylor expansion of x in x 1.345 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 1.346 * [taylor]: Taking taylor expansion of -1 in x 1.346 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 1.346 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 1.346 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.346 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 1.346 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 1.346 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.346 * [taylor]: Taking taylor expansion of -1 in x 1.346 * [taylor]: Taking taylor expansion of y in x 1.346 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 1.346 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 1.346 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.346 * [taylor]: Taking taylor expansion of -1 in x 1.346 * [taylor]: Taking taylor expansion of y in x 1.346 * [taylor]: Taking taylor expansion of 2 in x 1.346 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 1.346 * [taylor]: Taking taylor expansion of y in x 1.346 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.346 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.346 * [taylor]: Taking taylor expansion of -1 in x 1.346 * [taylor]: Taking taylor expansion of x in x 1.347 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y))) in y 1.347 * [taylor]: Taking taylor expansion of -1/2 in y 1.347 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)) in y 1.347 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 1.347 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 1.347 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.347 * [taylor]: Taking taylor expansion of -1 in y 1.347 * [taylor]: Taking taylor expansion of y in y 1.347 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.347 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.347 * [taylor]: Taking taylor expansion of y in y 1.347 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y 1.347 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 1.347 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.347 * [taylor]: Taking taylor expansion of -1 in y 1.347 * [taylor]: Taking taylor expansion of x in y 1.347 * [taylor]: Taking taylor expansion of y in y 1.348 * [taylor]: Taking taylor expansion of 0 in y 1.350 * [taylor]: Taking taylor expansion of 0 in y 1.351 * [taylor]: Taking taylor expansion of 0 in y 1.352 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1.352 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0 1.352 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 1.352 * [taylor]: Taking taylor expansion of (sinh y) in y 1.352 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.352 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 1.352 * [taylor]: Taking taylor expansion of (exp y) in y 1.352 * [taylor]: Taking taylor expansion of y in y 1.352 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.352 * [taylor]: Taking taylor expansion of (neg y) in y 1.352 * [taylor]: Taking taylor expansion of y in y 1.352 * [taylor]: Taking taylor expansion of 2 in y 1.352 * [taylor]: Taking taylor expansion of y in y 1.352 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 1.352 * [taylor]: Taking taylor expansion of (sinh y) in y 1.352 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.352 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 1.352 * [taylor]: Taking taylor expansion of (exp y) in y 1.352 * [taylor]: Taking taylor expansion of y in y 1.352 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.352 * [taylor]: Taking taylor expansion of (neg y) in y 1.352 * [taylor]: Taking taylor expansion of y in y 1.353 * [taylor]: Taking taylor expansion of 2 in y 1.353 * [taylor]: Taking taylor expansion of y in y 1.356 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0 1.356 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 1.356 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 1.356 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.356 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 1.356 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.356 * [taylor]: Taking taylor expansion of y in y 1.356 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 1.356 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.356 * [taylor]: Taking taylor expansion of y in y 1.356 * [taylor]: Taking taylor expansion of 2 in y 1.357 * [taylor]: Taking taylor expansion of y in y 1.357 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 1.357 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 1.357 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.357 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 1.357 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.357 * [taylor]: Taking taylor expansion of y in y 1.357 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 1.357 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.357 * [taylor]: Taking taylor expansion of y in y 1.357 * [taylor]: Taking taylor expansion of 2 in y 1.357 * [taylor]: Taking taylor expansion of y in y 1.360 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0 1.360 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 1.360 * [taylor]: Taking taylor expansion of -1 in y 1.360 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 1.360 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 1.360 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.360 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 1.360 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 1.360 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.360 * [taylor]: Taking taylor expansion of -1 in y 1.360 * [taylor]: Taking taylor expansion of y in y 1.360 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 1.360 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 1.360 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.360 * [taylor]: Taking taylor expansion of -1 in y 1.360 * [taylor]: Taking taylor expansion of y in y 1.360 * [taylor]: Taking taylor expansion of 2 in y 1.360 * [taylor]: Taking taylor expansion of y in y 1.360 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 1.360 * [taylor]: Taking taylor expansion of -1 in y 1.360 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 1.360 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 1.360 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.360 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 1.360 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 1.360 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.360 * [taylor]: Taking taylor expansion of -1 in y 1.360 * [taylor]: Taking taylor expansion of y in y 1.360 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 1.360 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 1.360 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.361 * [taylor]: Taking taylor expansion of -1 in y 1.361 * [taylor]: Taking taylor expansion of y in y 1.361 * [taylor]: Taking taylor expansion of 2 in y 1.361 * [taylor]: Taking taylor expansion of y in y 1.364 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 1.364 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 1.364 * [taylor]: Taking taylor expansion of (sinh y) in y 1.364 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.364 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 1.364 * [taylor]: Taking taylor expansion of (exp y) in y 1.364 * [taylor]: Taking taylor expansion of y in y 1.364 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.364 * [taylor]: Taking taylor expansion of (neg y) in y 1.364 * [taylor]: Taking taylor expansion of y in y 1.364 * [taylor]: Taking taylor expansion of 2 in y 1.364 * [taylor]: Taking taylor expansion of (sinh y) in y 1.364 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 1.364 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 1.364 * [taylor]: Taking taylor expansion of (exp y) in y 1.364 * [taylor]: Taking taylor expansion of y in y 1.364 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 1.364 * [taylor]: Taking taylor expansion of (neg y) in y 1.364 * [taylor]: Taking taylor expansion of y in y 1.365 * [taylor]: Taking taylor expansion of 2 in y 1.368 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 1.368 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 1.368 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.368 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 1.368 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.368 * [taylor]: Taking taylor expansion of y in y 1.368 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 1.368 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.368 * [taylor]: Taking taylor expansion of y in y 1.368 * [taylor]: Taking taylor expansion of 2 in y 1.368 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 1.368 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 1.368 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 1.368 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.369 * [taylor]: Taking taylor expansion of y in y 1.369 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 1.369 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 1.369 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.369 * [taylor]: Taking taylor expansion of y in y 1.369 * [taylor]: Taking taylor expansion of 2 in y 1.370 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 1.370 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 1.370 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.370 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 1.370 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 1.370 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.370 * [taylor]: Taking taylor expansion of -1 in y 1.370 * [taylor]: Taking taylor expansion of y in y 1.370 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 1.370 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 1.370 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.370 * [taylor]: Taking taylor expansion of -1 in y 1.370 * [taylor]: Taking taylor expansion of y in y 1.370 * [taylor]: Taking taylor expansion of 2 in y 1.371 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 1.371 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 1.371 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 1.371 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 1.371 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.371 * [taylor]: Taking taylor expansion of -1 in y 1.371 * [taylor]: Taking taylor expansion of y in y 1.371 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 1.371 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 1.371 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.371 * [taylor]: Taking taylor expansion of -1 in y 1.371 * [taylor]: Taking taylor expansion of y in y 1.371 * [taylor]: Taking taylor expansion of 2 in y 1.372 * * * [progress]: simplifying candidates 1.373 * [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.376 * * [simplify]: iteration 0 : 138 enodes (cost 730 ) 1.402 * * [simplify]: iteration 1 : 328 enodes (cost 687 ) 1.466 * * [simplify]: iteration 2 : 1088 enodes (cost 621 ) 1.784 * * [simplify]: iteration 3 : 4950 enodes (cost 621 ) 2.303 * * [simplify]: iteration done : 5000 enodes (cost 609 ) 2.303 * [simplify]: Simplified to: (/ (cos x) (/ y (sinh 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))) (* (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))) (* (* (cbrt (sinh y)) (cbrt (sinh y))) (cos x)) (* (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) (/ y (sinh y))) (* (sinh y) (cos x)) (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)) (sqrt y)) (cbrt (sinh 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) (- (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) (/ y (sinh y))) (/ (cos x) (/ y (sinh y))) (+ (* 1/120 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) (/ (* -1/2 (- (exp (neg y)) (exp 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.304 * * * [progress]: adding candidates to table 2.379 * * [progress]: iteration 2 / 4 2.379 * * * [progress]: picking best candidate 2.388 * * * * [pick]: Picked # 2.388 * * * [progress]: localizing error 2.398 * * * [progress]: generating rewritten candidates 2.398 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 2.401 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 2.404 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 2.407 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 2.414 * * * [progress]: generating series expansions 2.414 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 2.414 * [approximate]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in (y) around 0 2.414 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 2.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 2.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 2.414 * [taylor]: Taking taylor expansion of 1/3 in y 2.414 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 2.414 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 2.414 * [taylor]: Taking taylor expansion of (sinh y) in y 2.414 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 2.414 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 2.414 * [taylor]: Taking taylor expansion of (exp y) in y 2.414 * [taylor]: Taking taylor expansion of y in y 2.414 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 2.414 * [taylor]: Taking taylor expansion of (neg y) in y 2.414 * [taylor]: Taking taylor expansion of y in y 2.414 * [taylor]: Taking taylor expansion of 2 in y 2.414 * [taylor]: Taking taylor expansion of y in y 2.415 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 2.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 2.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 2.415 * [taylor]: Taking taylor expansion of 1/3 in y 2.415 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 2.415 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 2.415 * [taylor]: Taking taylor expansion of (sinh y) in y 2.415 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 2.415 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 2.415 * [taylor]: Taking taylor expansion of (exp y) in y 2.415 * [taylor]: Taking taylor expansion of y in y 2.415 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 2.415 * [taylor]: Taking taylor expansion of (neg y) in y 2.415 * [taylor]: Taking taylor expansion of y in y 2.415 * [taylor]: Taking taylor expansion of 2 in y 2.415 * [taylor]: Taking taylor expansion of y in y 2.424 * [approximate]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in (y) around 0 2.424 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 2.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 2.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 2.424 * [taylor]: Taking taylor expansion of 1/3 in y 2.424 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 2.424 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 2.424 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 2.424 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 2.424 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 2.424 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.424 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.424 * [taylor]: Taking taylor expansion of y in y 2.424 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 2.424 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 2.424 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.424 * [taylor]: Taking taylor expansion of y in y 2.425 * [taylor]: Taking taylor expansion of 2 in y 2.425 * [taylor]: Taking taylor expansion of y in y 2.426 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 2.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 2.426 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 2.426 * [taylor]: Taking taylor expansion of 1/3 in y 2.426 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 2.426 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 2.426 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 2.426 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 2.426 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 2.426 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.426 * [taylor]: Taking taylor expansion of y in y 2.426 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 2.426 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 2.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.426 * [taylor]: Taking taylor expansion of y in y 2.426 * [taylor]: Taking taylor expansion of 2 in y 2.426 * [taylor]: Taking taylor expansion of y in y 2.440 * [approximate]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in (y) around 0 2.440 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 2.440 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 2.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 2.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 2.440 * [taylor]: Taking taylor expansion of 1/3 in y 2.440 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 2.440 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 2.440 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 2.440 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 2.440 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 2.440 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.440 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.440 * [taylor]: Taking taylor expansion of -1 in y 2.440 * [taylor]: Taking taylor expansion of y in y 2.440 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 2.440 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 2.440 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.440 * [taylor]: Taking taylor expansion of -1 in y 2.440 * [taylor]: Taking taylor expansion of y in y 2.440 * [taylor]: Taking taylor expansion of 2 in y 2.440 * [taylor]: Taking taylor expansion of y in y 2.441 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.441 * [taylor]: Taking taylor expansion of -1 in y 2.441 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 2.441 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 2.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 2.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 2.441 * [taylor]: Taking taylor expansion of 1/3 in y 2.441 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 2.441 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 2.441 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 2.441 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 2.441 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 2.441 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.441 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.441 * [taylor]: Taking taylor expansion of -1 in y 2.441 * [taylor]: Taking taylor expansion of y in y 2.441 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 2.441 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 2.441 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.441 * [taylor]: Taking taylor expansion of -1 in y 2.441 * [taylor]: Taking taylor expansion of y in y 2.442 * [taylor]: Taking taylor expansion of 2 in y 2.442 * [taylor]: Taking taylor expansion of y in y 2.442 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.442 * [taylor]: Taking taylor expansion of -1 in y 2.457 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 2.457 * [approximate]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in (y) around 0 2.457 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 2.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 2.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 2.457 * [taylor]: Taking taylor expansion of 1/3 in y 2.457 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 2.457 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 2.457 * [taylor]: Taking taylor expansion of (sinh y) in y 2.457 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 2.457 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 2.457 * [taylor]: Taking taylor expansion of (exp y) in y 2.457 * [taylor]: Taking taylor expansion of y in y 2.457 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 2.457 * [taylor]: Taking taylor expansion of (neg y) in y 2.457 * [taylor]: Taking taylor expansion of y in y 2.458 * [taylor]: Taking taylor expansion of 2 in y 2.458 * [taylor]: Taking taylor expansion of y in y 2.458 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 2.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 2.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 2.458 * [taylor]: Taking taylor expansion of 1/3 in y 2.458 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 2.458 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 2.458 * [taylor]: Taking taylor expansion of (sinh y) in y 2.458 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 2.458 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 2.458 * [taylor]: Taking taylor expansion of (exp y) in y 2.458 * [taylor]: Taking taylor expansion of y in y 2.458 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 2.458 * [taylor]: Taking taylor expansion of (neg y) in y 2.458 * [taylor]: Taking taylor expansion of y in y 2.458 * [taylor]: Taking taylor expansion of 2 in y 2.458 * [taylor]: Taking taylor expansion of y in y 2.464 * [approximate]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in (y) around 0 2.464 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 2.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 2.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 2.464 * [taylor]: Taking taylor expansion of 1/3 in y 2.464 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 2.464 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 2.464 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 2.464 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 2.464 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 2.464 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.464 * [taylor]: Taking taylor expansion of y in y 2.464 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 2.464 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 2.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.464 * [taylor]: Taking taylor expansion of y in y 2.464 * [taylor]: Taking taylor expansion of 2 in y 2.465 * [taylor]: Taking taylor expansion of y in y 2.465 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 2.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 2.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 2.465 * [taylor]: Taking taylor expansion of 1/3 in y 2.465 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 2.465 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 2.465 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 2.466 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 2.466 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 2.466 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.466 * [taylor]: Taking taylor expansion of y in y 2.466 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 2.466 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 2.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.466 * [taylor]: Taking taylor expansion of y in y 2.466 * [taylor]: Taking taylor expansion of 2 in y 2.466 * [taylor]: Taking taylor expansion of y in y 2.479 * [approximate]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in (y) around 0 2.479 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 2.479 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 2.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 2.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 2.480 * [taylor]: Taking taylor expansion of 1/3 in y 2.480 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 2.480 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 2.480 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 2.480 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 2.480 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 2.480 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.480 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.480 * [taylor]: Taking taylor expansion of -1 in y 2.480 * [taylor]: Taking taylor expansion of y in y 2.480 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 2.480 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 2.480 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.480 * [taylor]: Taking taylor expansion of -1 in y 2.480 * [taylor]: Taking taylor expansion of y in y 2.480 * [taylor]: Taking taylor expansion of 2 in y 2.480 * [taylor]: Taking taylor expansion of y in y 2.481 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.481 * [taylor]: Taking taylor expansion of -1 in y 2.481 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 2.481 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 2.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 2.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 2.481 * [taylor]: Taking taylor expansion of 1/3 in y 2.481 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 2.481 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 2.481 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 2.481 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 2.481 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 2.481 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.481 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.481 * [taylor]: Taking taylor expansion of -1 in y 2.481 * [taylor]: Taking taylor expansion of y in y 2.481 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 2.481 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 2.481 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.481 * [taylor]: Taking taylor expansion of -1 in y 2.481 * [taylor]: Taking taylor expansion of y in y 2.482 * [taylor]: Taking taylor expansion of 2 in y 2.482 * [taylor]: Taking taylor expansion of y in y 2.483 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.483 * [taylor]: Taking taylor expansion of -1 in y 2.497 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 2.497 * [approximate]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in (y) around 0 2.497 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 2.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 2.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 2.497 * [taylor]: Taking taylor expansion of 1/3 in y 2.497 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 2.497 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 2.497 * [taylor]: Taking taylor expansion of (sinh y) in y 2.497 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 2.497 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 2.497 * [taylor]: Taking taylor expansion of (exp y) in y 2.497 * [taylor]: Taking taylor expansion of y in y 2.497 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 2.497 * [taylor]: Taking taylor expansion of (neg y) in y 2.497 * [taylor]: Taking taylor expansion of y in y 2.497 * [taylor]: Taking taylor expansion of 2 in y 2.498 * [taylor]: Taking taylor expansion of y in y 2.498 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 2.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 2.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 2.498 * [taylor]: Taking taylor expansion of 1/3 in y 2.498 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 2.498 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 2.498 * [taylor]: Taking taylor expansion of (sinh y) in y 2.498 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 2.498 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 2.498 * [taylor]: Taking taylor expansion of (exp y) in y 2.498 * [taylor]: Taking taylor expansion of y in y 2.498 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 2.498 * [taylor]: Taking taylor expansion of (neg y) in y 2.498 * [taylor]: Taking taylor expansion of y in y 2.498 * [taylor]: Taking taylor expansion of 2 in y 2.498 * [taylor]: Taking taylor expansion of y in y 2.504 * [approximate]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in (y) around 0 2.504 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 2.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 2.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 2.504 * [taylor]: Taking taylor expansion of 1/3 in y 2.504 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 2.504 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 2.504 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 2.504 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 2.504 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 2.504 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.504 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.504 * [taylor]: Taking taylor expansion of y in y 2.504 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 2.504 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 2.504 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.504 * [taylor]: Taking taylor expansion of y in y 2.504 * [taylor]: Taking taylor expansion of 2 in y 2.505 * [taylor]: Taking taylor expansion of y in y 2.505 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 2.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 2.505 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 2.505 * [taylor]: Taking taylor expansion of 1/3 in y 2.506 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 2.506 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 2.506 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 2.506 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 2.506 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 2.506 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.506 * [taylor]: Taking taylor expansion of y in y 2.506 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 2.506 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 2.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.506 * [taylor]: Taking taylor expansion of y in y 2.506 * [taylor]: Taking taylor expansion of 2 in y 2.506 * [taylor]: Taking taylor expansion of y in y 2.522 * [approximate]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in (y) around 0 2.522 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 2.522 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 2.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 2.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 2.522 * [taylor]: Taking taylor expansion of 1/3 in y 2.522 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 2.522 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 2.522 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 2.522 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 2.522 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 2.522 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.522 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.522 * [taylor]: Taking taylor expansion of -1 in y 2.522 * [taylor]: Taking taylor expansion of y in y 2.523 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 2.523 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 2.523 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.523 * [taylor]: Taking taylor expansion of -1 in y 2.523 * [taylor]: Taking taylor expansion of y in y 2.523 * [taylor]: Taking taylor expansion of 2 in y 2.523 * [taylor]: Taking taylor expansion of y in y 2.524 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.524 * [taylor]: Taking taylor expansion of -1 in y 2.524 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 2.524 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 2.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 2.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 2.524 * [taylor]: Taking taylor expansion of 1/3 in y 2.524 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 2.524 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 2.524 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 2.524 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 2.524 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 2.524 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.524 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.524 * [taylor]: Taking taylor expansion of -1 in y 2.524 * [taylor]: Taking taylor expansion of y in y 2.524 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 2.524 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 2.524 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.524 * [taylor]: Taking taylor expansion of -1 in y 2.524 * [taylor]: Taking taylor expansion of y in y 2.524 * [taylor]: Taking taylor expansion of 2 in y 2.524 * [taylor]: Taking taylor expansion of y in y 2.525 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.525 * [taylor]: Taking taylor expansion of -1 in y 2.540 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 2.540 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0 2.540 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 2.540 * [taylor]: Taking taylor expansion of (sinh y) in y 2.540 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 2.540 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 2.540 * [taylor]: Taking taylor expansion of (exp y) in y 2.540 * [taylor]: Taking taylor expansion of y in y 2.540 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 2.540 * [taylor]: Taking taylor expansion of (neg y) in y 2.540 * [taylor]: Taking taylor expansion of y in y 2.540 * [taylor]: Taking taylor expansion of 2 in y 2.540 * [taylor]: Taking taylor expansion of y in y 2.540 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 2.540 * [taylor]: Taking taylor expansion of (sinh y) in y 2.540 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 2.540 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 2.540 * [taylor]: Taking taylor expansion of (exp y) in y 2.540 * [taylor]: Taking taylor expansion of y in y 2.540 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 2.540 * [taylor]: Taking taylor expansion of (neg y) in y 2.540 * [taylor]: Taking taylor expansion of y in y 2.540 * [taylor]: Taking taylor expansion of 2 in y 2.541 * [taylor]: Taking taylor expansion of y in y 2.544 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0 2.544 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 2.544 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 2.544 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 2.544 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 2.544 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.544 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.544 * [taylor]: Taking taylor expansion of y in y 2.544 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 2.544 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 2.544 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.544 * [taylor]: Taking taylor expansion of y in y 2.545 * [taylor]: Taking taylor expansion of 2 in y 2.545 * [taylor]: Taking taylor expansion of y in y 2.545 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 2.545 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 2.545 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 2.545 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 2.545 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.545 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.545 * [taylor]: Taking taylor expansion of y in y 2.545 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 2.545 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 2.545 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.545 * [taylor]: Taking taylor expansion of y in y 2.545 * [taylor]: Taking taylor expansion of 2 in y 2.545 * [taylor]: Taking taylor expansion of y in y 2.548 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0 2.548 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 2.548 * [taylor]: Taking taylor expansion of -1 in y 2.548 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 2.548 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 2.548 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 2.548 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 2.548 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.548 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.548 * [taylor]: Taking taylor expansion of -1 in y 2.548 * [taylor]: Taking taylor expansion of y in y 2.548 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 2.548 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 2.548 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.548 * [taylor]: Taking taylor expansion of -1 in y 2.548 * [taylor]: Taking taylor expansion of y in y 2.548 * [taylor]: Taking taylor expansion of 2 in y 2.548 * [taylor]: Taking taylor expansion of y in y 2.548 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 2.548 * [taylor]: Taking taylor expansion of -1 in y 2.548 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 2.548 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 2.548 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 2.548 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 2.548 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.549 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.549 * [taylor]: Taking taylor expansion of -1 in y 2.549 * [taylor]: Taking taylor expansion of y in y 2.549 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 2.549 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 2.549 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.549 * [taylor]: Taking taylor expansion of -1 in y 2.549 * [taylor]: Taking taylor expansion of y in y 2.549 * [taylor]: Taking taylor expansion of 2 in y 2.549 * [taylor]: Taking taylor expansion of y in y 2.552 * * * [progress]: simplifying candidates 2.554 * [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)) 2.558 * * [simplify]: iteration 0 : 122 enodes (cost 1164 ) 2.573 * * [simplify]: iteration 1 : 235 enodes (cost 1101 ) 2.608 * * [simplify]: iteration 2 : 545 enodes (cost 1051 ) 2.692 * * [simplify]: iteration 3 : 1495 enodes (cost 1036 ) 3.214 * * [simplify]: iteration done : 5000 enodes (cost 1036 ) 3.215 * [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 (exp (+ (log (/ -1 y)) (log (* 1/2 (- (exp y) (exp (neg y)))))))) (cbrt -1)) (- (+ (* 1/18 (pow y 2)) 1) (* 1/3240 (pow y 4))) (cbrt (exp (- (log (* 1/2 (- (exp y) (exp (neg y))))) (log y)))) (* (cbrt (exp (+ (log (/ -1 y)) (log (* 1/2 (- (exp y) (exp (neg y)))))))) (cbrt -1)) (- (+ (* 1/18 (pow y 2)) 1) (* 1/3240 (pow y 4))) (cbrt (exp (- (log (* 1/2 (- (exp y) (exp (neg y))))) (log y)))) (* (cbrt (exp (+ (log (/ -1 y)) (log (* 1/2 (- (exp y) (exp (neg y)))))))) (cbrt -1)) (+ (* 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.215 * * * [progress]: adding candidates to table 3.329 * * [progress]: iteration 3 / 4 3.329 * * * [progress]: picking best candidate 3.337 * * * * [pick]: Picked # 3.337 * * * [progress]: localizing error 3.347 * * * [progress]: generating rewritten candidates 3.347 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 3.349 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 3.351 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 3.352 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.361 * * * [progress]: generating series expansions 3.361 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 3.362 * [approximate]: Taking taylor expansion of (pow (cos x) 1/3) in (x) around 0 3.362 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 3.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 3.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 3.362 * [taylor]: Taking taylor expansion of 1/3 in x 3.362 * [taylor]: Taking taylor expansion of (log (cos x)) in x 3.362 * [taylor]: Taking taylor expansion of (cos x) in x 3.362 * [taylor]: Taking taylor expansion of x in x 3.362 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 3.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 3.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 3.362 * [taylor]: Taking taylor expansion of 1/3 in x 3.362 * [taylor]: Taking taylor expansion of (log (cos x)) in x 3.362 * [taylor]: Taking taylor expansion of (cos x) in x 3.362 * [taylor]: Taking taylor expansion of x in x 3.365 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in (x) around 0 3.365 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 3.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 3.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 3.365 * [taylor]: Taking taylor expansion of 1/3 in x 3.365 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 3.365 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.365 * [taylor]: Taking taylor expansion of x in x 3.365 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 3.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 3.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 3.365 * [taylor]: Taking taylor expansion of 1/3 in x 3.365 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 3.365 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.365 * [taylor]: Taking taylor expansion of x in x 3.373 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in (x) around 0 3.373 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 3.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 3.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 3.373 * [taylor]: Taking taylor expansion of 1/3 in x 3.373 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 3.373 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.373 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.373 * [taylor]: Taking taylor expansion of -1 in x 3.373 * [taylor]: Taking taylor expansion of x in x 3.373 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 3.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 3.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 3.373 * [taylor]: Taking taylor expansion of 1/3 in x 3.373 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 3.373 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.373 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.373 * [taylor]: Taking taylor expansion of -1 in x 3.373 * [taylor]: Taking taylor expansion of x in x 3.381 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 3.381 * [approximate]: Taking taylor expansion of (pow (cos x) 1/3) in (x) around 0 3.381 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 3.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 3.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 3.381 * [taylor]: Taking taylor expansion of 1/3 in x 3.381 * [taylor]: Taking taylor expansion of (log (cos x)) in x 3.381 * [taylor]: Taking taylor expansion of (cos x) in x 3.381 * [taylor]: Taking taylor expansion of x in x 3.381 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 3.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 3.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 3.381 * [taylor]: Taking taylor expansion of 1/3 in x 3.381 * [taylor]: Taking taylor expansion of (log (cos x)) in x 3.381 * [taylor]: Taking taylor expansion of (cos x) in x 3.381 * [taylor]: Taking taylor expansion of x in x 3.384 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in (x) around 0 3.384 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 3.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 3.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 3.384 * [taylor]: Taking taylor expansion of 1/3 in x 3.384 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 3.384 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.384 * [taylor]: Taking taylor expansion of x in x 3.384 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 3.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 3.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 3.384 * [taylor]: Taking taylor expansion of 1/3 in x 3.384 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 3.384 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.384 * [taylor]: Taking taylor expansion of x in x 3.392 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in (x) around 0 3.392 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 3.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 3.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 3.392 * [taylor]: Taking taylor expansion of 1/3 in x 3.392 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 3.392 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.392 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.392 * [taylor]: Taking taylor expansion of -1 in x 3.392 * [taylor]: Taking taylor expansion of x in x 3.392 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 3.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 3.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 3.392 * [taylor]: Taking taylor expansion of 1/3 in x 3.392 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 3.392 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.392 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.392 * [taylor]: Taking taylor expansion of -1 in x 3.392 * [taylor]: Taking taylor expansion of x in x 3.400 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 3.400 * [approximate]: Taking taylor expansion of (pow (cos x) 1/3) in (x) around 0 3.400 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 3.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 3.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 3.400 * [taylor]: Taking taylor expansion of 1/3 in x 3.400 * [taylor]: Taking taylor expansion of (log (cos x)) in x 3.400 * [taylor]: Taking taylor expansion of (cos x) in x 3.400 * [taylor]: Taking taylor expansion of x in x 3.400 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 3.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 3.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 3.400 * [taylor]: Taking taylor expansion of 1/3 in x 3.400 * [taylor]: Taking taylor expansion of (log (cos x)) in x 3.400 * [taylor]: Taking taylor expansion of (cos x) in x 3.400 * [taylor]: Taking taylor expansion of x in x 3.403 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in (x) around 0 3.403 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 3.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 3.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 3.403 * [taylor]: Taking taylor expansion of 1/3 in x 3.403 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 3.403 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.403 * [taylor]: Taking taylor expansion of x in x 3.403 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 3.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 3.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 3.403 * [taylor]: Taking taylor expansion of 1/3 in x 3.403 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 3.403 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.403 * [taylor]: Taking taylor expansion of x in x 3.411 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in (x) around 0 3.411 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 3.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 3.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 3.411 * [taylor]: Taking taylor expansion of 1/3 in x 3.411 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 3.411 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.411 * [taylor]: Taking taylor expansion of -1 in x 3.411 * [taylor]: Taking taylor expansion of x in x 3.411 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 3.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 3.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 3.411 * [taylor]: Taking taylor expansion of 1/3 in x 3.411 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 3.411 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.411 * [taylor]: Taking taylor expansion of -1 in x 3.411 * [taylor]: Taking taylor expansion of x in x 3.418 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.418 * [approximate]: Taking taylor expansion of (pow (pow (cos x) 2) 1/3) in (x) around 0 3.418 * [taylor]: Taking taylor expansion of (pow (pow (cos x) 2) 1/3) in x 3.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos x) 2)))) in x 3.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos x) 2))) in x 3.418 * [taylor]: Taking taylor expansion of 1/3 in x 3.418 * [taylor]: Taking taylor expansion of (log (pow (cos x) 2)) in x 3.418 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 3.418 * [taylor]: Taking taylor expansion of (cos x) in x 3.418 * [taylor]: Taking taylor expansion of x in x 3.419 * [taylor]: Taking taylor expansion of (pow (pow (cos x) 2) 1/3) in x 3.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos x) 2)))) in x 3.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos x) 2))) in x 3.419 * [taylor]: Taking taylor expansion of 1/3 in x 3.419 * [taylor]: Taking taylor expansion of (log (pow (cos x) 2)) in x 3.419 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 3.419 * [taylor]: Taking taylor expansion of (cos x) in x 3.419 * [taylor]: Taking taylor expansion of x in x 3.427 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 2) 1/3) in (x) around 0 3.427 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 2) 1/3) in x 3.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 x)) 2)))) in x 3.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 x)) 2))) in x 3.427 * [taylor]: Taking taylor expansion of 1/3 in x 3.427 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 x)) 2)) in x 3.427 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 3.427 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.427 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.427 * [taylor]: Taking taylor expansion of x in x 3.427 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 2) 1/3) in x 3.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 x)) 2)))) in x 3.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 x)) 2))) in x 3.427 * [taylor]: Taking taylor expansion of 1/3 in x 3.427 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 x)) 2)) in x 3.427 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 3.428 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 3.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.428 * [taylor]: Taking taylor expansion of x in x 3.440 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 2) 1/3) in (x) around 0 3.440 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 2) 1/3) in x 3.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 x)) 2)))) in x 3.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 x)) 2))) in x 3.440 * [taylor]: Taking taylor expansion of 1/3 in x 3.440 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 x)) 2)) in x 3.440 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 3.440 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.440 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.440 * [taylor]: Taking taylor expansion of -1 in x 3.440 * [taylor]: Taking taylor expansion of x in x 3.440 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 2) 1/3) in x 3.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 x)) 2)))) in x 3.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 x)) 2))) in x 3.441 * [taylor]: Taking taylor expansion of 1/3 in x 3.441 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 x)) 2)) in x 3.441 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 3.441 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 3.441 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.441 * [taylor]: Taking taylor expansion of -1 in x 3.441 * [taylor]: Taking taylor expansion of x in x 3.450 * * * [progress]: simplifying candidates 3.451 * [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.453 * * [simplify]: iteration 0 : 65 enodes (cost 694 ) 3.463 * * [simplify]: iteration 1 : 129 enodes (cost 615 ) 3.482 * * [simplify]: iteration 2 : 392 enodes (cost 521 ) 3.579 * * [simplify]: iteration 3 : 1544 enodes (cost 499 ) 4.020 * * [simplify]: iteration done : 5000 enodes (cost 499 ) 4.020 * [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)))) (* (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 (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.021 * * * [progress]: adding candidates to table 4.095 * * [progress]: iteration 4 / 4 4.095 * * * [progress]: picking best candidate 4.099 * * * * [pick]: Picked # 4.099 * * * [progress]: localizing error 4.109 * * * [progress]: generating rewritten candidates 4.109 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.122 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 4.130 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.134 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 4.145 * * * [progress]: generating series expansions 4.145 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.145 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 4.146 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 4.146 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 4.146 * [taylor]: Taking taylor expansion of (sinh y) in y 4.146 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.146 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.146 * [taylor]: Taking taylor expansion of (exp y) in y 4.146 * [taylor]: Taking taylor expansion of y in y 4.146 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.146 * [taylor]: Taking taylor expansion of (neg y) in y 4.146 * [taylor]: Taking taylor expansion of y in y 4.146 * [taylor]: Taking taylor expansion of 2 in y 4.146 * [taylor]: Taking taylor expansion of (cos x) in y 4.146 * [taylor]: Taking taylor expansion of x in y 4.146 * [taylor]: Taking taylor expansion of y in y 4.146 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 4.146 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 4.146 * [taylor]: Taking taylor expansion of (sinh y) in x 4.146 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.146 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 4.146 * [taylor]: Taking taylor expansion of (exp y) in x 4.146 * [taylor]: Taking taylor expansion of y in x 4.146 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 4.146 * [taylor]: Taking taylor expansion of (neg y) in x 4.146 * [taylor]: Taking taylor expansion of y in x 4.146 * [taylor]: Taking taylor expansion of 2 in x 4.147 * [taylor]: Taking taylor expansion of (cos x) in x 4.147 * [taylor]: Taking taylor expansion of x in x 4.147 * [taylor]: Taking taylor expansion of y in x 4.147 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 4.147 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 4.147 * [taylor]: Taking taylor expansion of (sinh y) in x 4.147 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.147 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 4.147 * [taylor]: Taking taylor expansion of (exp y) in x 4.147 * [taylor]: Taking taylor expansion of y in x 4.147 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 4.147 * [taylor]: Taking taylor expansion of (neg y) in x 4.147 * [taylor]: Taking taylor expansion of y in x 4.147 * [taylor]: Taking taylor expansion of 2 in x 4.147 * [taylor]: Taking taylor expansion of (cos x) in x 4.147 * [taylor]: Taking taylor expansion of x in x 4.147 * [taylor]: Taking taylor expansion of y in x 4.147 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (neg y))) y)) in y 4.147 * [taylor]: Taking taylor expansion of 1/2 in y 4.147 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 4.147 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.147 * [taylor]: Taking taylor expansion of (exp y) in y 4.147 * [taylor]: Taking taylor expansion of y in y 4.148 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.148 * [taylor]: Taking taylor expansion of (neg y) in y 4.148 * [taylor]: Taking taylor expansion of y in y 4.148 * [taylor]: Taking taylor expansion of y in y 4.148 * [taylor]: Taking taylor expansion of 0 in y 4.149 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 4.149 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 4.149 * [taylor]: Taking taylor expansion of 1/4 in y 4.149 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 4.149 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.149 * [taylor]: Taking taylor expansion of (neg y) in y 4.149 * [taylor]: Taking taylor expansion of y in y 4.149 * [taylor]: Taking taylor expansion of y in y 4.150 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 4.150 * [taylor]: Taking taylor expansion of 1/4 in y 4.150 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 4.150 * [taylor]: Taking taylor expansion of (exp y) in y 4.150 * [taylor]: Taking taylor expansion of y in y 4.150 * [taylor]: Taking taylor expansion of y in y 4.151 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 4.151 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 4.151 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 4.151 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.151 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 4.151 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.151 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.151 * [taylor]: Taking taylor expansion of y in y 4.151 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 4.151 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.151 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.151 * [taylor]: Taking taylor expansion of y in y 4.151 * [taylor]: Taking taylor expansion of 2 in y 4.152 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 4.152 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 4.152 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.152 * [taylor]: Taking taylor expansion of x in y 4.152 * [taylor]: Taking taylor expansion of y in y 4.152 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 4.152 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 4.152 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.152 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 4.152 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.152 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.152 * [taylor]: Taking taylor expansion of y in x 4.152 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 4.152 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 4.152 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.152 * [taylor]: Taking taylor expansion of y in x 4.152 * [taylor]: Taking taylor expansion of 2 in x 4.152 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 4.152 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.153 * [taylor]: Taking taylor expansion of x in x 4.153 * [taylor]: Taking taylor expansion of y in x 4.153 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 4.153 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 4.153 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.153 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 4.153 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.153 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.153 * [taylor]: Taking taylor expansion of y in x 4.153 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 4.153 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 4.153 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.153 * [taylor]: Taking taylor expansion of y in x 4.153 * [taylor]: Taking taylor expansion of 2 in x 4.153 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 4.153 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.153 * [taylor]: Taking taylor expansion of x in x 4.153 * [taylor]: Taking taylor expansion of y in x 4.153 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 4.153 * [taylor]: Taking taylor expansion of 1/2 in y 4.154 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 4.154 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 4.154 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.154 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.154 * [taylor]: Taking taylor expansion of y in y 4.154 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 4.154 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.154 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.154 * [taylor]: Taking taylor expansion of y in y 4.154 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 4.154 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 4.154 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.154 * [taylor]: Taking taylor expansion of x in y 4.154 * [taylor]: Taking taylor expansion of y in y 4.155 * [taylor]: Taking taylor expansion of 0 in y 4.156 * [taylor]: Taking taylor expansion of 0 in y 4.158 * [taylor]: Taking taylor expansion of 0 in y 4.159 * [approximate]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) 2) in (x y) around 0 4.159 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) 2) in y 4.159 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y 4.159 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 4.159 * [taylor]: Taking taylor expansion of -1 in y 4.159 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 4.159 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 4.159 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.159 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 4.159 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.159 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.159 * [taylor]: Taking taylor expansion of -1 in y 4.159 * [taylor]: Taking taylor expansion of y in y 4.159 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 4.159 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 4.159 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.159 * [taylor]: Taking taylor expansion of -1 in y 4.159 * [taylor]: Taking taylor expansion of y in y 4.159 * [taylor]: Taking taylor expansion of 2 in y 4.159 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 4.159 * [taylor]: Taking taylor expansion of y in y 4.159 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 4.159 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.159 * [taylor]: Taking taylor expansion of -1 in y 4.159 * [taylor]: Taking taylor expansion of x in y 4.160 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) 2) in x 4.160 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 4.160 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 4.160 * [taylor]: Taking taylor expansion of -1 in x 4.160 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 4.160 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 4.161 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.161 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 4.161 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.161 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.161 * [taylor]: Taking taylor expansion of -1 in x 4.161 * [taylor]: Taking taylor expansion of y in x 4.161 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 4.161 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 4.161 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.161 * [taylor]: Taking taylor expansion of -1 in x 4.161 * [taylor]: Taking taylor expansion of y in x 4.161 * [taylor]: Taking taylor expansion of 2 in x 4.161 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 4.161 * [taylor]: Taking taylor expansion of y in x 4.161 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.161 * [taylor]: Taking taylor expansion of -1 in x 4.161 * [taylor]: Taking taylor expansion of x in x 4.162 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) 2) in x 4.162 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 4.162 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 4.162 * [taylor]: Taking taylor expansion of -1 in x 4.162 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 4.162 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 4.162 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.163 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 4.163 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.163 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.163 * [taylor]: Taking taylor expansion of -1 in x 4.163 * [taylor]: Taking taylor expansion of y in x 4.163 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 4.163 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 4.163 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.163 * [taylor]: Taking taylor expansion of -1 in x 4.163 * [taylor]: Taking taylor expansion of y in x 4.163 * [taylor]: Taking taylor expansion of 2 in x 4.163 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 4.163 * [taylor]: Taking taylor expansion of y in x 4.163 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.163 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.163 * [taylor]: Taking taylor expansion of -1 in x 4.163 * [taylor]: Taking taylor expansion of x in x 4.165 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)))) 2) in y 4.165 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)))) in y 4.165 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y))) in y 4.165 * [taylor]: Taking taylor expansion of -1/2 in y 4.165 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)) in y 4.165 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 4.165 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.165 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.165 * [taylor]: Taking taylor expansion of -1 in y 4.165 * [taylor]: Taking taylor expansion of y in y 4.165 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.165 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.165 * [taylor]: Taking taylor expansion of y in y 4.165 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y 4.165 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 4.165 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.165 * [taylor]: Taking taylor expansion of -1 in y 4.165 * [taylor]: Taking taylor expansion of x in y 4.165 * [taylor]: Taking taylor expansion of y in y 4.167 * [taylor]: Taking taylor expansion of 0 in y 4.173 * [taylor]: Taking taylor expansion of 0 in y 4.189 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 4.190 * [approximate]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in (x y) around 0 4.190 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in y 4.190 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 4.190 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 4.190 * [taylor]: Taking taylor expansion of (sinh y) in y 4.190 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.190 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.190 * [taylor]: Taking taylor expansion of (exp y) in y 4.190 * [taylor]: Taking taylor expansion of y in y 4.190 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.190 * [taylor]: Taking taylor expansion of (neg y) in y 4.190 * [taylor]: Taking taylor expansion of y in y 4.190 * [taylor]: Taking taylor expansion of 2 in y 4.190 * [taylor]: Taking taylor expansion of (cos x) in y 4.190 * [taylor]: Taking taylor expansion of x in y 4.190 * [taylor]: Taking taylor expansion of y in y 4.191 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in x 4.191 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 4.191 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 4.191 * [taylor]: Taking taylor expansion of (sinh y) in x 4.191 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.191 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 4.191 * [taylor]: Taking taylor expansion of (exp y) in x 4.191 * [taylor]: Taking taylor expansion of y in x 4.191 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 4.191 * [taylor]: Taking taylor expansion of (neg y) in x 4.191 * [taylor]: Taking taylor expansion of y in x 4.191 * [taylor]: Taking taylor expansion of 2 in x 4.191 * [taylor]: Taking taylor expansion of (cos x) in x 4.191 * [taylor]: Taking taylor expansion of x in x 4.191 * [taylor]: Taking taylor expansion of y in x 4.192 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in x 4.192 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 4.192 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 4.192 * [taylor]: Taking taylor expansion of (sinh y) in x 4.192 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.192 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 4.192 * [taylor]: Taking taylor expansion of (exp y) in x 4.192 * [taylor]: Taking taylor expansion of y in x 4.192 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 4.192 * [taylor]: Taking taylor expansion of (neg y) in x 4.192 * [taylor]: Taking taylor expansion of y in x 4.192 * [taylor]: Taking taylor expansion of 2 in x 4.192 * [taylor]: Taking taylor expansion of (cos x) in x 4.192 * [taylor]: Taking taylor expansion of x in x 4.192 * [taylor]: Taking taylor expansion of y in x 4.193 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (/ (- (exp y) (exp (neg y))) y))) in y 4.193 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 4.193 * [taylor]: Taking taylor expansion of 1/2 in y 4.193 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp y) (exp (neg y))) y)) in y 4.193 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 4.193 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.193 * [taylor]: Taking taylor expansion of (exp y) in y 4.193 * [taylor]: Taking taylor expansion of y in y 4.193 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.193 * [taylor]: Taking taylor expansion of (neg y) in y 4.193 * [taylor]: Taking taylor expansion of y in y 4.193 * [taylor]: Taking taylor expansion of y in y 4.194 * [taylor]: Taking taylor expansion of 0 in y 4.195 * [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.195 * [taylor]: Taking taylor expansion of 1/2 in y 4.195 * [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.195 * [taylor]: Taking taylor expansion of (/ (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) (sqrt 1/2)) in y 4.195 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 4.195 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 4.195 * [taylor]: Taking taylor expansion of 1/4 in y 4.195 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 4.195 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.195 * [taylor]: Taking taylor expansion of (neg y) in y 4.195 * [taylor]: Taking taylor expansion of y in y 4.195 * [taylor]: Taking taylor expansion of y in y 4.195 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 4.195 * [taylor]: Taking taylor expansion of 1/4 in y 4.195 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 4.196 * [taylor]: Taking taylor expansion of (exp y) in y 4.196 * [taylor]: Taking taylor expansion of y in y 4.196 * [taylor]: Taking taylor expansion of y in y 4.196 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 4.196 * [taylor]: Taking taylor expansion of 1/2 in y 4.196 * [taylor]: Taking taylor expansion of (sqrt (/ y (- (exp y) (exp (neg y))))) in y 4.196 * [taylor]: Taking taylor expansion of (/ y (- (exp y) (exp (neg y)))) in y 4.196 * [taylor]: Taking taylor expansion of y in y 4.196 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.196 * [taylor]: Taking taylor expansion of (exp y) in y 4.196 * [taylor]: Taking taylor expansion of y in y 4.196 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.196 * [taylor]: Taking taylor expansion of (neg y) in y 4.196 * [taylor]: Taking taylor expansion of y in y 4.198 * [approximate]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in (x y) around 0 4.198 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y 4.198 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 4.198 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 4.198 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.198 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 4.198 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.198 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.198 * [taylor]: Taking taylor expansion of y in y 4.198 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 4.198 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.198 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.198 * [taylor]: Taking taylor expansion of y in y 4.198 * [taylor]: Taking taylor expansion of 2 in y 4.198 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 4.198 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 4.199 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.199 * [taylor]: Taking taylor expansion of x in y 4.199 * [taylor]: Taking taylor expansion of y in y 4.200 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x 4.200 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 4.200 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 4.200 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.200 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 4.200 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.200 * [taylor]: Taking taylor expansion of y in x 4.200 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 4.200 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 4.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.200 * [taylor]: Taking taylor expansion of y in x 4.200 * [taylor]: Taking taylor expansion of 2 in x 4.200 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 4.200 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.200 * [taylor]: Taking taylor expansion of x in x 4.200 * [taylor]: Taking taylor expansion of y in x 4.201 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x 4.201 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 4.201 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 4.201 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.202 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 4.202 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.202 * [taylor]: Taking taylor expansion of y in x 4.202 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 4.202 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 4.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.202 * [taylor]: Taking taylor expansion of y in x 4.202 * [taylor]: Taking taylor expansion of 2 in x 4.202 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 4.202 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.202 * [taylor]: Taking taylor expansion of x in x 4.202 * [taylor]: Taking taylor expansion of y in x 4.203 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)))) in y 4.203 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 4.203 * [taylor]: Taking taylor expansion of 1/2 in y 4.203 * [taylor]: Taking taylor expansion of (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 4.203 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 4.203 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 4.203 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.203 * [taylor]: Taking taylor expansion of y in y 4.203 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 4.203 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.203 * [taylor]: Taking taylor expansion of y in y 4.203 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 4.204 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 4.204 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.204 * [taylor]: Taking taylor expansion of x in y 4.204 * [taylor]: Taking taylor expansion of y in y 4.204 * [taylor]: Taking taylor expansion of 0 in y 4.206 * [taylor]: Taking taylor expansion of 0 in y 4.210 * [taylor]: Taking taylor expansion of 0 in y 4.225 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in (x y) around 0 4.225 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y 4.225 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 4.225 * [taylor]: Taking taylor expansion of -1 in y 4.225 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 4.225 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 4.225 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.225 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 4.225 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.225 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.225 * [taylor]: Taking taylor expansion of -1 in y 4.225 * [taylor]: Taking taylor expansion of y in y 4.225 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 4.225 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 4.225 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.225 * [taylor]: Taking taylor expansion of -1 in y 4.225 * [taylor]: Taking taylor expansion of y in y 4.226 * [taylor]: Taking taylor expansion of 2 in y 4.226 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 4.226 * [taylor]: Taking taylor expansion of y in y 4.226 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 4.226 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.226 * [taylor]: Taking taylor expansion of -1 in y 4.226 * [taylor]: Taking taylor expansion of x in y 4.227 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 4.227 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 4.227 * [taylor]: Taking taylor expansion of -1 in x 4.227 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 4.227 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 4.227 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.227 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 4.227 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.227 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.227 * [taylor]: Taking taylor expansion of -1 in x 4.227 * [taylor]: Taking taylor expansion of y in x 4.227 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 4.227 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 4.227 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.227 * [taylor]: Taking taylor expansion of -1 in x 4.227 * [taylor]: Taking taylor expansion of y in x 4.227 * [taylor]: Taking taylor expansion of 2 in x 4.228 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 4.228 * [taylor]: Taking taylor expansion of y in x 4.228 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.228 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.228 * [taylor]: Taking taylor expansion of -1 in x 4.228 * [taylor]: Taking taylor expansion of x in x 4.229 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 4.229 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 4.229 * [taylor]: Taking taylor expansion of -1 in x 4.229 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 4.229 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 4.229 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.229 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 4.229 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.229 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.229 * [taylor]: Taking taylor expansion of -1 in x 4.229 * [taylor]: Taking taylor expansion of y in x 4.229 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 4.229 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 4.229 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.229 * [taylor]: Taking taylor expansion of -1 in x 4.229 * [taylor]: Taking taylor expansion of y in x 4.230 * [taylor]: Taking taylor expansion of 2 in x 4.230 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 4.230 * [taylor]: Taking taylor expansion of y in x 4.230 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.230 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.230 * [taylor]: Taking taylor expansion of -1 in x 4.230 * [taylor]: Taking taylor expansion of x in x 4.231 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x)))))) in y 4.231 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x))))) in y 4.231 * [taylor]: Taking taylor expansion of -1/2 in y 4.231 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x)))) in y 4.231 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 4.231 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.231 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.232 * [taylor]: Taking taylor expansion of -1 in y 4.232 * [taylor]: Taking taylor expansion of y in y 4.232 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.232 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.232 * [taylor]: Taking taylor expansion of y in y 4.232 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 4.232 * [taylor]: Taking taylor expansion of y in y 4.232 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 4.232 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.232 * [taylor]: Taking taylor expansion of -1 in y 4.232 * [taylor]: Taking taylor expansion of x in y 4.233 * [taylor]: Taking taylor expansion of 0 in y 4.235 * [taylor]: Taking taylor expansion of 0 in y 4.238 * [taylor]: Taking taylor expansion of 0 in y 4.246 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 4.246 * [approximate]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in (x y) around 0 4.246 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in y 4.246 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 4.246 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 4.246 * [taylor]: Taking taylor expansion of (sinh y) in y 4.246 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.246 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.246 * [taylor]: Taking taylor expansion of (exp y) in y 4.246 * [taylor]: Taking taylor expansion of y in y 4.246 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.246 * [taylor]: Taking taylor expansion of (neg y) in y 4.246 * [taylor]: Taking taylor expansion of y in y 4.246 * [taylor]: Taking taylor expansion of 2 in y 4.246 * [taylor]: Taking taylor expansion of (cos x) in y 4.246 * [taylor]: Taking taylor expansion of x in y 4.246 * [taylor]: Taking taylor expansion of y in y 4.247 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in x 4.247 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 4.247 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 4.247 * [taylor]: Taking taylor expansion of (sinh y) in x 4.247 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.247 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 4.247 * [taylor]: Taking taylor expansion of (exp y) in x 4.247 * [taylor]: Taking taylor expansion of y in x 4.247 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 4.247 * [taylor]: Taking taylor expansion of (neg y) in x 4.247 * [taylor]: Taking taylor expansion of y in x 4.247 * [taylor]: Taking taylor expansion of 2 in x 4.248 * [taylor]: Taking taylor expansion of (cos x) in x 4.248 * [taylor]: Taking taylor expansion of x in x 4.248 * [taylor]: Taking taylor expansion of y in x 4.248 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in x 4.248 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 4.248 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 4.248 * [taylor]: Taking taylor expansion of (sinh y) in x 4.248 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.248 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 4.248 * [taylor]: Taking taylor expansion of (exp y) in x 4.248 * [taylor]: Taking taylor expansion of y in x 4.249 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 4.249 * [taylor]: Taking taylor expansion of (neg y) in x 4.249 * [taylor]: Taking taylor expansion of y in x 4.249 * [taylor]: Taking taylor expansion of 2 in x 4.249 * [taylor]: Taking taylor expansion of (cos x) in x 4.249 * [taylor]: Taking taylor expansion of x in x 4.249 * [taylor]: Taking taylor expansion of y in x 4.250 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (/ (- (exp y) (exp (neg y))) y))) in y 4.250 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 4.250 * [taylor]: Taking taylor expansion of 1/2 in y 4.250 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp y) (exp (neg y))) y)) in y 4.250 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 4.250 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.250 * [taylor]: Taking taylor expansion of (exp y) in y 4.250 * [taylor]: Taking taylor expansion of y in y 4.250 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.250 * [taylor]: Taking taylor expansion of (neg y) in y 4.250 * [taylor]: Taking taylor expansion of y in y 4.250 * [taylor]: Taking taylor expansion of y in y 4.250 * [taylor]: Taking taylor expansion of 0 in y 4.252 * [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.252 * [taylor]: Taking taylor expansion of 1/2 in y 4.252 * [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.252 * [taylor]: Taking taylor expansion of (/ (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) (sqrt 1/2)) in y 4.252 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 4.252 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 4.252 * [taylor]: Taking taylor expansion of 1/4 in y 4.252 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 4.252 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.252 * [taylor]: Taking taylor expansion of (neg y) in y 4.252 * [taylor]: Taking taylor expansion of y in y 4.252 * [taylor]: Taking taylor expansion of y in y 4.252 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 4.252 * [taylor]: Taking taylor expansion of 1/4 in y 4.252 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 4.252 * [taylor]: Taking taylor expansion of (exp y) in y 4.252 * [taylor]: Taking taylor expansion of y in y 4.252 * [taylor]: Taking taylor expansion of y in y 4.252 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 4.252 * [taylor]: Taking taylor expansion of 1/2 in y 4.253 * [taylor]: Taking taylor expansion of (sqrt (/ y (- (exp y) (exp (neg y))))) in y 4.253 * [taylor]: Taking taylor expansion of (/ y (- (exp y) (exp (neg y)))) in y 4.253 * [taylor]: Taking taylor expansion of y in y 4.253 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.253 * [taylor]: Taking taylor expansion of (exp y) in y 4.253 * [taylor]: Taking taylor expansion of y in y 4.253 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.253 * [taylor]: Taking taylor expansion of (neg y) in y 4.253 * [taylor]: Taking taylor expansion of y in y 4.254 * [approximate]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in (x y) around 0 4.254 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y 4.254 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 4.254 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 4.255 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.255 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 4.255 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.255 * [taylor]: Taking taylor expansion of y in y 4.255 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 4.255 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.255 * [taylor]: Taking taylor expansion of y in y 4.255 * [taylor]: Taking taylor expansion of 2 in y 4.255 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 4.255 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 4.255 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.255 * [taylor]: Taking taylor expansion of x in y 4.255 * [taylor]: Taking taylor expansion of y in y 4.256 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x 4.256 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 4.256 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 4.256 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.256 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 4.256 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.256 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.256 * [taylor]: Taking taylor expansion of y in x 4.256 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 4.256 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 4.256 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.256 * [taylor]: Taking taylor expansion of y in x 4.256 * [taylor]: Taking taylor expansion of 2 in x 4.257 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 4.257 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.257 * [taylor]: Taking taylor expansion of x in x 4.257 * [taylor]: Taking taylor expansion of y in x 4.258 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x 4.258 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 4.258 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 4.258 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.258 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 4.258 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.258 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.258 * [taylor]: Taking taylor expansion of y in x 4.258 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 4.258 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 4.258 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.258 * [taylor]: Taking taylor expansion of y in x 4.258 * [taylor]: Taking taylor expansion of 2 in x 4.258 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 4.258 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.258 * [taylor]: Taking taylor expansion of x in x 4.258 * [taylor]: Taking taylor expansion of y in x 4.259 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)))) in y 4.259 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 4.260 * [taylor]: Taking taylor expansion of 1/2 in y 4.260 * [taylor]: Taking taylor expansion of (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 4.260 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 4.260 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 4.260 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.260 * [taylor]: Taking taylor expansion of y in y 4.260 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 4.260 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.260 * [taylor]: Taking taylor expansion of y in y 4.260 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 4.260 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 4.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.260 * [taylor]: Taking taylor expansion of x in y 4.260 * [taylor]: Taking taylor expansion of y in y 4.261 * [taylor]: Taking taylor expansion of 0 in y 4.262 * [taylor]: Taking taylor expansion of 0 in y 4.267 * [taylor]: Taking taylor expansion of 0 in y 4.278 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in (x y) around 0 4.278 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y 4.278 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 4.278 * [taylor]: Taking taylor expansion of -1 in y 4.278 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 4.278 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 4.278 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.278 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 4.278 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.278 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.278 * [taylor]: Taking taylor expansion of -1 in y 4.278 * [taylor]: Taking taylor expansion of y in y 4.278 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 4.278 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 4.278 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.278 * [taylor]: Taking taylor expansion of -1 in y 4.278 * [taylor]: Taking taylor expansion of y in y 4.278 * [taylor]: Taking taylor expansion of 2 in y 4.278 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 4.278 * [taylor]: Taking taylor expansion of y in y 4.278 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 4.278 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.278 * [taylor]: Taking taylor expansion of -1 in y 4.278 * [taylor]: Taking taylor expansion of x in y 4.279 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 4.279 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 4.280 * [taylor]: Taking taylor expansion of -1 in x 4.280 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 4.280 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 4.280 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.280 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 4.280 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.280 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.280 * [taylor]: Taking taylor expansion of -1 in x 4.280 * [taylor]: Taking taylor expansion of y in x 4.280 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 4.280 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 4.280 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.280 * [taylor]: Taking taylor expansion of -1 in x 4.280 * [taylor]: Taking taylor expansion of y in x 4.280 * [taylor]: Taking taylor expansion of 2 in x 4.280 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 4.280 * [taylor]: Taking taylor expansion of y in x 4.280 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.280 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.280 * [taylor]: Taking taylor expansion of -1 in x 4.280 * [taylor]: Taking taylor expansion of x in x 4.281 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 4.281 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 4.281 * [taylor]: Taking taylor expansion of -1 in x 4.281 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 4.281 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 4.282 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.282 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 4.282 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.282 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.282 * [taylor]: Taking taylor expansion of -1 in x 4.282 * [taylor]: Taking taylor expansion of y in x 4.282 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 4.282 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 4.282 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.282 * [taylor]: Taking taylor expansion of -1 in x 4.282 * [taylor]: Taking taylor expansion of y in x 4.282 * [taylor]: Taking taylor expansion of 2 in x 4.282 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 4.282 * [taylor]: Taking taylor expansion of y in x 4.282 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.282 * [taylor]: Taking taylor expansion of -1 in x 4.282 * [taylor]: Taking taylor expansion of x in x 4.283 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x)))))) in y 4.283 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x))))) in y 4.283 * [taylor]: Taking taylor expansion of -1/2 in y 4.283 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x)))) in y 4.283 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 4.283 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.283 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.283 * [taylor]: Taking taylor expansion of -1 in y 4.283 * [taylor]: Taking taylor expansion of y in y 4.284 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.284 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.284 * [taylor]: Taking taylor expansion of y in y 4.284 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 4.284 * [taylor]: Taking taylor expansion of y in y 4.284 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 4.284 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.284 * [taylor]: Taking taylor expansion of -1 in y 4.284 * [taylor]: Taking taylor expansion of x in y 4.285 * [taylor]: Taking taylor expansion of 0 in y 4.286 * [taylor]: Taking taylor expansion of 0 in y 4.289 * [taylor]: Taking taylor expansion of 0 in y 4.297 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 4.297 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 4.297 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 4.297 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 4.297 * [taylor]: Taking taylor expansion of (sinh y) in y 4.297 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.297 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.297 * [taylor]: Taking taylor expansion of (exp y) in y 4.297 * [taylor]: Taking taylor expansion of y in y 4.297 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.297 * [taylor]: Taking taylor expansion of (neg y) in y 4.297 * [taylor]: Taking taylor expansion of y in y 4.297 * [taylor]: Taking taylor expansion of 2 in y 4.298 * [taylor]: Taking taylor expansion of (cos x) in y 4.298 * [taylor]: Taking taylor expansion of x in y 4.298 * [taylor]: Taking taylor expansion of y in y 4.298 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 4.298 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 4.298 * [taylor]: Taking taylor expansion of (sinh y) in x 4.298 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.298 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 4.298 * [taylor]: Taking taylor expansion of (exp y) in x 4.300 * [taylor]: Taking taylor expansion of y in x 4.300 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 4.300 * [taylor]: Taking taylor expansion of (neg y) in x 4.300 * [taylor]: Taking taylor expansion of y in x 4.301 * [taylor]: Taking taylor expansion of 2 in x 4.301 * [taylor]: Taking taylor expansion of (cos x) in x 4.301 * [taylor]: Taking taylor expansion of x in x 4.301 * [taylor]: Taking taylor expansion of y in x 4.301 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 4.301 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 4.301 * [taylor]: Taking taylor expansion of (sinh y) in x 4.301 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 4.301 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 4.301 * [taylor]: Taking taylor expansion of (exp y) in x 4.301 * [taylor]: Taking taylor expansion of y in x 4.301 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 4.301 * [taylor]: Taking taylor expansion of (neg y) in x 4.301 * [taylor]: Taking taylor expansion of y in x 4.301 * [taylor]: Taking taylor expansion of 2 in x 4.301 * [taylor]: Taking taylor expansion of (cos x) in x 4.301 * [taylor]: Taking taylor expansion of x in x 4.301 * [taylor]: Taking taylor expansion of y in x 4.302 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (neg y))) y)) in y 4.302 * [taylor]: Taking taylor expansion of 1/2 in y 4.302 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 4.302 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 4.302 * [taylor]: Taking taylor expansion of (exp y) in y 4.302 * [taylor]: Taking taylor expansion of y in y 4.302 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.302 * [taylor]: Taking taylor expansion of (neg y) in y 4.302 * [taylor]: Taking taylor expansion of y in y 4.302 * [taylor]: Taking taylor expansion of y in y 4.303 * [taylor]: Taking taylor expansion of 0 in y 4.304 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 4.304 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 4.304 * [taylor]: Taking taylor expansion of 1/4 in y 4.304 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 4.304 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 4.304 * [taylor]: Taking taylor expansion of (neg y) in y 4.304 * [taylor]: Taking taylor expansion of y in y 4.304 * [taylor]: Taking taylor expansion of y in y 4.304 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 4.304 * [taylor]: Taking taylor expansion of 1/4 in y 4.304 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 4.304 * [taylor]: Taking taylor expansion of (exp y) in y 4.304 * [taylor]: Taking taylor expansion of y in y 4.304 * [taylor]: Taking taylor expansion of y in y 4.305 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 4.305 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 4.305 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 4.305 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.305 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 4.305 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.305 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.305 * [taylor]: Taking taylor expansion of y in y 4.305 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 4.305 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.305 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.305 * [taylor]: Taking taylor expansion of y in y 4.305 * [taylor]: Taking taylor expansion of 2 in y 4.306 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 4.306 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 4.306 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.306 * [taylor]: Taking taylor expansion of x in y 4.306 * [taylor]: Taking taylor expansion of y in y 4.306 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 4.306 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 4.306 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.306 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 4.306 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.306 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.306 * [taylor]: Taking taylor expansion of y in x 4.306 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 4.306 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 4.306 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.306 * [taylor]: Taking taylor expansion of y in x 4.306 * [taylor]: Taking taylor expansion of 2 in x 4.306 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 4.306 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.306 * [taylor]: Taking taylor expansion of x in x 4.306 * [taylor]: Taking taylor expansion of y in x 4.307 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 4.307 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 4.307 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 4.307 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 4.307 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 4.307 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.307 * [taylor]: Taking taylor expansion of y in x 4.307 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 4.307 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 4.307 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.307 * [taylor]: Taking taylor expansion of y in x 4.307 * [taylor]: Taking taylor expansion of 2 in x 4.307 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 4.307 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 4.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.307 * [taylor]: Taking taylor expansion of x in x 4.307 * [taylor]: Taking taylor expansion of y in x 4.307 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 4.307 * [taylor]: Taking taylor expansion of 1/2 in y 4.307 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 4.307 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 4.307 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.308 * [taylor]: Taking taylor expansion of y in y 4.308 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 4.308 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.308 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.308 * [taylor]: Taking taylor expansion of y in y 4.308 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 4.308 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 4.308 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.308 * [taylor]: Taking taylor expansion of x in y 4.308 * [taylor]: Taking taylor expansion of y in y 4.309 * [taylor]: Taking taylor expansion of 0 in y 4.310 * [taylor]: Taking taylor expansion of 0 in y 4.312 * [taylor]: Taking taylor expansion of 0 in y 4.312 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0 4.312 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 4.312 * [taylor]: Taking taylor expansion of -1 in y 4.312 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 4.312 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 4.313 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.313 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 4.313 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.313 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.313 * [taylor]: Taking taylor expansion of -1 in y 4.313 * [taylor]: Taking taylor expansion of y in y 4.313 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 4.313 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 4.313 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.313 * [taylor]: Taking taylor expansion of -1 in y 4.313 * [taylor]: Taking taylor expansion of y in y 4.313 * [taylor]: Taking taylor expansion of 2 in y 4.313 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 4.313 * [taylor]: Taking taylor expansion of y in y 4.313 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 4.313 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.313 * [taylor]: Taking taylor expansion of -1 in y 4.313 * [taylor]: Taking taylor expansion of x in y 4.313 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 4.313 * [taylor]: Taking taylor expansion of -1 in x 4.313 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 4.313 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 4.313 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.313 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 4.313 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.313 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.313 * [taylor]: Taking taylor expansion of -1 in x 4.313 * [taylor]: Taking taylor expansion of y in x 4.313 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 4.313 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 4.313 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.313 * [taylor]: Taking taylor expansion of -1 in x 4.313 * [taylor]: Taking taylor expansion of y in x 4.314 * [taylor]: Taking taylor expansion of 2 in x 4.314 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 4.314 * [taylor]: Taking taylor expansion of y in x 4.314 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.314 * [taylor]: Taking taylor expansion of -1 in x 4.314 * [taylor]: Taking taylor expansion of x in x 4.314 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 4.314 * [taylor]: Taking taylor expansion of -1 in x 4.314 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 4.314 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 4.314 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 4.314 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 4.314 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 4.314 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.314 * [taylor]: Taking taylor expansion of -1 in x 4.314 * [taylor]: Taking taylor expansion of y in x 4.314 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 4.314 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 4.314 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.314 * [taylor]: Taking taylor expansion of -1 in x 4.314 * [taylor]: Taking taylor expansion of y in x 4.314 * [taylor]: Taking taylor expansion of 2 in x 4.315 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 4.315 * [taylor]: Taking taylor expansion of y in x 4.315 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 4.315 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.315 * [taylor]: Taking taylor expansion of -1 in x 4.315 * [taylor]: Taking taylor expansion of x in x 4.315 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y))) in y 4.315 * [taylor]: Taking taylor expansion of -1/2 in y 4.315 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)) in y 4.315 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 4.315 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 4.315 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.315 * [taylor]: Taking taylor expansion of -1 in y 4.315 * [taylor]: Taking taylor expansion of y in y 4.315 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 4.315 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.315 * [taylor]: Taking taylor expansion of y in y 4.315 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y 4.315 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 4.315 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.315 * [taylor]: Taking taylor expansion of -1 in y 4.315 * [taylor]: Taking taylor expansion of x in y 4.315 * [taylor]: Taking taylor expansion of y in y 4.316 * [taylor]: Taking taylor expansion of 0 in y 4.318 * [taylor]: Taking taylor expansion of 0 in y 4.320 * [taylor]: Taking taylor expansion of 0 in y 4.320 * * * [progress]: simplifying candidates 4.322 * [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)) 4.334 * * [simplify]: iteration 0 : 328 enodes (cost 2521 ) 4.400 * * [simplify]: iteration 1 : 957 enodes (cost 2127 ) 4.662 * * [simplify]: iteration done : 5001 enodes (cost 2009 ) 4.663 * [simplify]: Simplified to: 1 1 1 2 1 1 1 1 1 1 (* (pow (cos x) 2) (* (/ (sinh y) y) (/ (sinh y) y))) (* (cos x) (/ (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) (/ (sinh y) y))) 2 (log (* (cos x) (/ (sinh y) y))) (log (* (cos x) (/ (sinh y) y))) (exp (* (cos x) (/ (sinh y) y))) (* (/ (* (* (sinh y) (sinh y)) (sinh y)) (pow y 3)) (pow (cos x) 3)) (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y)))) (cbrt (* (cos x) (/ (sinh y) y))) (* (/ (* (* (sinh y) (sinh y)) (sinh y)) (pow y 3)) (pow (cos x) 3)) (* (pow (cos x) 2) (* (/ (sinh y) y) (/ (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) (/ (sinh y) y))) (log (* (cos x) (/ (sinh y) y))) (log (* (cos x) (/ (sinh y) y))) (exp (* (cos x) (/ (sinh y) y))) (* (/ (* (* (sinh y) (sinh y)) (sinh y)) (pow y 3)) (pow (cos x) 3)) (* (/ (* (* (sinh y) (sinh y)) (sinh y)) (pow y 3)) (pow (cos x) 3)) (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y)))) (cbrt (* (cos x) (/ (sinh y) y))) (* (/ (* (* (sinh y) (sinh y)) (sinh y)) (pow y 3)) (pow (cos x) 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))) (* (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))) (* (* (cbrt (sinh y)) (cbrt (sinh y))) (cos x)) (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (* (cos x) (/ (sqrt (sinh y)) (sqrt y))) (* (sqrt (sinh y)) (cos x)) (/ (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 (exp (neg y)) 2) (pow NAN 2)) (pow (cos x) 2)) (* y y)) (/ (* (pow NAN 4) (* (pow (cos x) 3) (pow (exp (neg y)) 3))) (pow y 3)))) (+ (+ (/ (* 15/8 (* (pow (cos x) 4) (* (* (pow (exp (neg y)) 2) (pow NAN 6)) (pow (exp 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)) (* (* (exp y) 1) (pow NAN 4))) (pow y 3)))) (* 5/16 (/ (* (pow NAN 6) (* (pow (exp y) 4) (pow (cos x) 4))) (pow y 4))))) (/ (* 5/16 (* (* (pow NAN 6) (pow (cos x) 4)) (pow (exp (neg y)) 4))) (pow y 4))) (* 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/2 (/ (* 1 (pow NAN 2)) (/ (pow y 2) (pow (cos x) 2)))) (+ (* 1/4 (/ (* (pow NAN 4) (* (pow (exp y) 3) (pow (cos x) 3))) (pow y 3))) (/ (* (* 3/4 (pow (cos x) 3)) (* (* 1 (exp (neg y))) (pow NAN 4))) (pow y 3))))) (- (+ (* 1/6 (/ (* (sqrt 1/2) (pow y 2)) (sqrt 2))) (* (sqrt 1/2) (sqrt 2))) (* 1/4 (pow x 2))) (- (- (+ (+ (/ (* 6 (* (sqrt 1/2) (* (* 1 (exp (neg y))) (* (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))) (/ (/ (* (* (* (pow (cos x) 2) (pow NAN 3)) (sqrt 1/2)) 2) y) y))) (/ (* (sqrt 1/2) (* (exp y) (* NAN (cos x)))) y)) (/ (* (sqrt 1/2) (* (pow (exp y) 2) (* (pow NAN 3) (pow (cos x) 2)))) (pow y 2))) (+ (+ (/ (* (sqrt 1/2) (* (pow (exp (neg y)) 2) (* (pow NAN 3) (pow (cos x) 2)))) (pow y 2)) (* (/ (sqrt 1/2) (/ (pow y 3) (* (* (exp y) 1) (* (pow NAN 5) (pow (cos x) 3))))) 6)) (+ (/ (* NAN (* (/ (cos x) (exp y)) (sqrt 1/2))) y) (* 2 (/ (* (sqrt 1/2) (* (pow (exp (neg y)) 3) (* (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))) (+ (* 1/2 (+ (/ (* NAN (* (exp y) (cos x))) y) (/ (* (pow NAN 3) (pow (cos x) 2)) (pow y 2)))) (- (/ 3/4 (/ (pow y 3) (* (* 1 (exp (neg y))) (* (pow NAN 5) (pow (cos x) 3))))) (+ (+ (/ 3/4 (/ (pow y 3) (* (* (exp y) 1) (* (pow NAN 5) (pow (cos x) 3))))) (* 1/4 (+ (/ (* (pow (exp (neg y)) 2) (* (pow NAN 3) (pow (cos x) 2))) (* y y)) (/ (* (pow (exp (neg y)) 3) (* (pow NAN 5) (pow (cos x) 3))) (pow y 3))))) (+ (* 1/4 (/ (* (pow (cos x) 2) (* (pow (exp y) 2) (pow NAN 3))) (pow y 2))) (/ 1/2 (/ y (* (/ (cos x) (exp y)) NAN)))))))) (- (+ (* 1/6 (/ (* (sqrt 1/2) (pow y 2)) (sqrt 2))) (* (sqrt 1/2) (sqrt 2))) (* 1/4 (pow x 2))) (- (- (+ (+ (/ (* 6 (* (sqrt 1/2) (* (* 1 (exp (neg y))) (* (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))) (/ (/ (* (* (* (pow (cos x) 2) (pow NAN 3)) (sqrt 1/2)) 2) y) y))) (/ (* (sqrt 1/2) (* (exp y) (* NAN (cos x)))) y)) (/ (* (sqrt 1/2) (* (pow (exp y) 2) (* (pow NAN 3) (pow (cos x) 2)))) (pow y 2))) (+ (+ (/ (* (sqrt 1/2) (* (pow (exp (neg y)) 2) (* (pow NAN 3) (pow (cos x) 2)))) (pow y 2)) (* (/ (sqrt 1/2) (/ (pow y 3) (* (* (exp y) 1) (* (pow NAN 5) (pow (cos x) 3))))) 6)) (+ (/ (* NAN (* (/ (cos x) (exp y)) (sqrt 1/2))) y) (* 2 (/ (* (sqrt 1/2) (* (pow (exp (neg y)) 3) (* (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))) (+ (* 1/2 (+ (/ (* NAN (* (exp y) (cos x))) y) (/ (* (pow NAN 3) (pow (cos x) 2)) (pow y 2)))) (- (/ 3/4 (/ (pow y 3) (* (* 1 (exp (neg y))) (* (pow NAN 5) (pow (cos x) 3))))) (+ (+ (/ 3/4 (/ (pow y 3) (* (* (exp y) 1) (* (pow NAN 5) (pow (cos x) 3))))) (* 1/4 (+ (/ (* (pow (exp (neg y)) 2) (* (pow NAN 3) (pow (cos x) 2))) (* y y)) (/ (* (pow (exp (neg y)) 3) (* (pow NAN 5) (pow (cos x) 3))) (pow y 3))))) (+ (* 1/4 (/ (* (pow (cos x) 2) (* (pow (exp y) 2) (pow NAN 3))) (pow y 2))) (/ 1/2 (/ y (* (/ (cos x) (exp y)) NAN)))))))) (- (+ 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) 4.664 * * * [progress]: adding candidates to table 4.814 * [progress]: [Phase 3 of 3] Extracting. 4.814 * * [regime]: Finding splitpoints for: (# # #) 4.814 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sinh y) y) (cos x) (* (cos x) (/ (sinh y) y)) y x) 4.814 * * * * [regimes]: Trying to branch on (/ (sinh y) y) from (# # #) 4.847 * * * * [regimes]: Trying to branch on (cos x) from (# # #) 4.885 * * * * [regimes]: Trying to branch on (* (cos x) (/ (sinh y) y)) from (# # #) 4.930 * * * * [regimes]: Trying to branch on y from (# # #) 4.967 * * * * [regimes]: Trying to branch on x from (# # #) 5.003 * * * [regime]: Found split indices: #