10.728 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.083 * * * [progress]: [2/2] Setting up program. 0.086 * [progress]: [Phase 2 of 3] Improving. 0.087 * [simplify]: Simplifying using # : (* (cos x) (/ (sinh y) y)) 0.087 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.088 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.090 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 0.093 * * [simplify]: iteration 3 : 64 enodes (cost 7 ) 0.107 * * [simplify]: iteration 4 : 134 enodes (cost 7 ) 0.127 * * [simplify]: iteration 5 : 242 enodes (cost 7 ) 0.179 * * [simplify]: iteration 6 : 443 enodes (cost 7 ) 0.402 * * [simplify]: iteration 7 : 969 enodes (cost 7 ) 1.598 * * [simplify]: iteration 8 : 2045 enodes (cost 7 ) 3.572 * * [simplify]: iteration 9 : 2895 enodes (cost 7 ) 7.161 * * [simplify]: iteration 10 : 4076 enodes (cost 7 ) 11.039 * * [simplify]: iteration 11 : 4567 enodes (cost 7 ) 14.269 * * [simplify]: iteration 12 : 4615 enodes (cost 7 ) 17.378 * * [simplify]: iteration 13 : 4626 enodes (cost 7 ) 19.449 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 19.449 * [simplify]: Simplified to: (* (cos x) (/ (sinh y) y)) 19.450 * * [progress]: iteration 1 / 4 19.450 * * * [progress]: picking best candidate 19.452 * * * * [pick]: Picked # 19.452 * * * [progress]: localizing error 19.459 * * * [progress]: generating rewritten candidates 19.459 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 19.467 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 19.471 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 19.475 * * * [progress]: generating series expansions 19.475 * * * * [progress]: [ 1 / 3 ] generating series at (2) 19.475 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 19.475 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 19.475 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 19.475 * [taylor]: Taking taylor expansion of (sinh y) in y 19.475 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 19.475 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 19.475 * [taylor]: Taking taylor expansion of (exp y) in y 19.475 * [taylor]: Taking taylor expansion of y in y 19.475 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 19.475 * [taylor]: Taking taylor expansion of (neg y) in y 19.475 * [taylor]: Taking taylor expansion of y in y 19.476 * [taylor]: Taking taylor expansion of 2 in y 19.476 * [taylor]: Taking taylor expansion of (cos x) in y 19.476 * [taylor]: Taking taylor expansion of x in y 19.476 * [taylor]: Taking taylor expansion of y in y 19.476 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 19.476 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 19.476 * [taylor]: Taking taylor expansion of (sinh y) in x 19.476 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 19.476 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 19.476 * [taylor]: Taking taylor expansion of (exp y) in x 19.476 * [taylor]: Taking taylor expansion of y in x 19.476 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 19.476 * [taylor]: Taking taylor expansion of (neg y) in x 19.476 * [taylor]: Taking taylor expansion of y in x 19.476 * [taylor]: Taking taylor expansion of 2 in x 19.477 * [taylor]: Taking taylor expansion of (cos x) in x 19.477 * [taylor]: Taking taylor expansion of x in x 19.477 * [taylor]: Taking taylor expansion of y in x 19.477 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 19.477 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 19.477 * [taylor]: Taking taylor expansion of (sinh y) in x 19.477 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 19.477 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 19.477 * [taylor]: Taking taylor expansion of (exp y) in x 19.477 * [taylor]: Taking taylor expansion of y in x 19.477 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 19.477 * [taylor]: Taking taylor expansion of (neg y) in x 19.477 * [taylor]: Taking taylor expansion of y in x 19.477 * [taylor]: Taking taylor expansion of 2 in x 19.477 * [taylor]: Taking taylor expansion of (cos x) in x 19.477 * [taylor]: Taking taylor expansion of x in x 19.477 * [taylor]: Taking taylor expansion of y in x 19.477 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (neg y))) y)) in y 19.477 * [taylor]: Taking taylor expansion of 1/2 in y 19.477 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 19.477 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 19.478 * [taylor]: Taking taylor expansion of (exp y) in y 19.478 * [taylor]: Taking taylor expansion of y in y 19.478 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 19.478 * [taylor]: Taking taylor expansion of (neg y) in y 19.478 * [taylor]: Taking taylor expansion of y in y 19.478 * [taylor]: Taking taylor expansion of y in y 19.479 * [taylor]: Taking taylor expansion of 0 in y 19.480 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 19.480 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 19.480 * [taylor]: Taking taylor expansion of 1/4 in y 19.480 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 19.480 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 19.480 * [taylor]: Taking taylor expansion of (neg y) in y 19.480 * [taylor]: Taking taylor expansion of y in y 19.480 * [taylor]: Taking taylor expansion of y in y 19.480 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 19.480 * [taylor]: Taking taylor expansion of 1/4 in y 19.480 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 19.480 * [taylor]: Taking taylor expansion of (exp y) in y 19.480 * [taylor]: Taking taylor expansion of y in y 19.480 * [taylor]: Taking taylor expansion of y in y 19.481 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 19.481 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 19.481 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 19.481 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 19.481 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 19.481 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.481 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.481 * [taylor]: Taking taylor expansion of y in y 19.482 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 19.482 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 19.482 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.482 * [taylor]: Taking taylor expansion of y in y 19.482 * [taylor]: Taking taylor expansion of 2 in y 19.482 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 19.482 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 19.482 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.482 * [taylor]: Taking taylor expansion of x in y 19.482 * [taylor]: Taking taylor expansion of y in y 19.482 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 19.482 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 19.482 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 19.482 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 19.482 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 19.482 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.482 * [taylor]: Taking taylor expansion of y in x 19.482 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 19.482 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 19.482 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.482 * [taylor]: Taking taylor expansion of y in x 19.482 * [taylor]: Taking taylor expansion of 2 in x 19.483 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 19.483 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 19.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.483 * [taylor]: Taking taylor expansion of x in x 19.483 * [taylor]: Taking taylor expansion of y in x 19.483 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 19.483 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 19.483 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 19.483 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 19.483 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 19.483 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.483 * [taylor]: Taking taylor expansion of y in x 19.483 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 19.483 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 19.483 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.483 * [taylor]: Taking taylor expansion of y in x 19.483 * [taylor]: Taking taylor expansion of 2 in x 19.483 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 19.483 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 19.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.483 * [taylor]: Taking taylor expansion of x in x 19.483 * [taylor]: Taking taylor expansion of y in x 19.484 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 19.484 * [taylor]: Taking taylor expansion of 1/2 in y 19.484 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 19.484 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 19.484 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.484 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.484 * [taylor]: Taking taylor expansion of y in y 19.484 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 19.484 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 19.484 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.484 * [taylor]: Taking taylor expansion of y in y 19.484 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 19.484 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 19.484 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.484 * [taylor]: Taking taylor expansion of x in y 19.484 * [taylor]: Taking taylor expansion of y in y 19.485 * [taylor]: Taking taylor expansion of 0 in y 19.487 * [taylor]: Taking taylor expansion of 0 in y 19.488 * [taylor]: Taking taylor expansion of 0 in y 19.489 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0 19.489 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 19.489 * [taylor]: Taking taylor expansion of -1 in y 19.489 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 19.489 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 19.489 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 19.489 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 19.489 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 19.489 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.489 * [taylor]: Taking taylor expansion of -1 in y 19.489 * [taylor]: Taking taylor expansion of y in y 19.489 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 19.489 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 19.489 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.489 * [taylor]: Taking taylor expansion of -1 in y 19.489 * [taylor]: Taking taylor expansion of y in y 19.489 * [taylor]: Taking taylor expansion of 2 in y 19.489 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 19.489 * [taylor]: Taking taylor expansion of y in y 19.490 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 19.490 * [taylor]: Taking taylor expansion of (/ -1 x) in y 19.490 * [taylor]: Taking taylor expansion of -1 in y 19.490 * [taylor]: Taking taylor expansion of x in y 19.490 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 19.490 * [taylor]: Taking taylor expansion of -1 in x 19.490 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 19.490 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 19.490 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 19.490 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 19.490 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 19.490 * [taylor]: Taking taylor expansion of (/ -1 y) in x 19.490 * [taylor]: Taking taylor expansion of -1 in x 19.490 * [taylor]: Taking taylor expansion of y in x 19.490 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 19.490 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 19.490 * [taylor]: Taking taylor expansion of (/ -1 y) in x 19.490 * [taylor]: Taking taylor expansion of -1 in x 19.490 * [taylor]: Taking taylor expansion of y in x 19.490 * [taylor]: Taking taylor expansion of 2 in x 19.490 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 19.490 * [taylor]: Taking taylor expansion of y in x 19.490 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 19.490 * [taylor]: Taking taylor expansion of (/ -1 x) in x 19.490 * [taylor]: Taking taylor expansion of -1 in x 19.490 * [taylor]: Taking taylor expansion of x in x 19.490 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 19.490 * [taylor]: Taking taylor expansion of -1 in x 19.490 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 19.490 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 19.491 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 19.491 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 19.491 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 19.491 * [taylor]: Taking taylor expansion of (/ -1 y) in x 19.491 * [taylor]: Taking taylor expansion of -1 in x 19.491 * [taylor]: Taking taylor expansion of y in x 19.491 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 19.491 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 19.491 * [taylor]: Taking taylor expansion of (/ -1 y) in x 19.491 * [taylor]: Taking taylor expansion of -1 in x 19.491 * [taylor]: Taking taylor expansion of y in x 19.491 * [taylor]: Taking taylor expansion of 2 in x 19.491 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 19.491 * [taylor]: Taking taylor expansion of y in x 19.491 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 19.491 * [taylor]: Taking taylor expansion of (/ -1 x) in x 19.491 * [taylor]: Taking taylor expansion of -1 in x 19.491 * [taylor]: Taking taylor expansion of x in x 19.491 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y))) in y 19.491 * [taylor]: Taking taylor expansion of -1/2 in y 19.491 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)) in y 19.491 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 19.491 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 19.492 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.492 * [taylor]: Taking taylor expansion of -1 in y 19.492 * [taylor]: Taking taylor expansion of y in y 19.492 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.492 * [taylor]: Taking taylor expansion of y in y 19.492 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y 19.492 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 19.492 * [taylor]: Taking taylor expansion of (/ -1 x) in y 19.492 * [taylor]: Taking taylor expansion of -1 in y 19.492 * [taylor]: Taking taylor expansion of x in y 19.492 * [taylor]: Taking taylor expansion of y in y 19.493 * [taylor]: Taking taylor expansion of 0 in y 19.494 * [taylor]: Taking taylor expansion of 0 in y 19.496 * [taylor]: Taking taylor expansion of 0 in y 19.496 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 19.497 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0 19.497 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 19.497 * [taylor]: Taking taylor expansion of (sinh y) in y 19.497 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 19.497 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 19.497 * [taylor]: Taking taylor expansion of (exp y) in y 19.497 * [taylor]: Taking taylor expansion of y in y 19.497 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 19.497 * [taylor]: Taking taylor expansion of (neg y) in y 19.497 * [taylor]: Taking taylor expansion of y in y 19.497 * [taylor]: Taking taylor expansion of 2 in y 19.497 * [taylor]: Taking taylor expansion of y in y 19.497 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 19.497 * [taylor]: Taking taylor expansion of (sinh y) in y 19.497 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 19.497 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 19.497 * [taylor]: Taking taylor expansion of (exp y) in y 19.497 * [taylor]: Taking taylor expansion of y in y 19.497 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 19.497 * [taylor]: Taking taylor expansion of (neg y) in y 19.497 * [taylor]: Taking taylor expansion of y in y 19.497 * [taylor]: Taking taylor expansion of 2 in y 19.497 * [taylor]: Taking taylor expansion of y in y 19.501 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0 19.501 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 19.501 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 19.501 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 19.501 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 19.501 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.501 * [taylor]: Taking taylor expansion of y in y 19.501 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 19.501 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 19.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.501 * [taylor]: Taking taylor expansion of y in y 19.501 * [taylor]: Taking taylor expansion of 2 in y 19.501 * [taylor]: Taking taylor expansion of y in y 19.501 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 19.501 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 19.501 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 19.501 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 19.502 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.502 * [taylor]: Taking taylor expansion of y in y 19.502 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 19.502 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 19.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.502 * [taylor]: Taking taylor expansion of y in y 19.502 * [taylor]: Taking taylor expansion of 2 in y 19.502 * [taylor]: Taking taylor expansion of y in y 19.504 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0 19.505 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 19.505 * [taylor]: Taking taylor expansion of -1 in y 19.505 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 19.505 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 19.505 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 19.505 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 19.505 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 19.505 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.505 * [taylor]: Taking taylor expansion of -1 in y 19.505 * [taylor]: Taking taylor expansion of y in y 19.505 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 19.505 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 19.505 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.505 * [taylor]: Taking taylor expansion of -1 in y 19.505 * [taylor]: Taking taylor expansion of y in y 19.505 * [taylor]: Taking taylor expansion of 2 in y 19.505 * [taylor]: Taking taylor expansion of y in y 19.505 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 19.505 * [taylor]: Taking taylor expansion of -1 in y 19.505 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 19.505 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 19.505 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 19.505 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 19.505 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 19.505 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.505 * [taylor]: Taking taylor expansion of -1 in y 19.505 * [taylor]: Taking taylor expansion of y in y 19.505 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 19.505 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 19.505 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.505 * [taylor]: Taking taylor expansion of -1 in y 19.505 * [taylor]: Taking taylor expansion of y in y 19.506 * [taylor]: Taking taylor expansion of 2 in y 19.506 * [taylor]: Taking taylor expansion of y in y 19.509 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 19.509 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 19.509 * [taylor]: Taking taylor expansion of (sinh y) in y 19.509 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 19.509 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 19.509 * [taylor]: Taking taylor expansion of (exp y) in y 19.509 * [taylor]: Taking taylor expansion of y in y 19.509 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 19.509 * [taylor]: Taking taylor expansion of (neg y) in y 19.509 * [taylor]: Taking taylor expansion of y in y 19.509 * [taylor]: Taking taylor expansion of 2 in y 19.509 * [taylor]: Taking taylor expansion of (sinh y) in y 19.509 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 19.509 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 19.509 * [taylor]: Taking taylor expansion of (exp y) in y 19.509 * [taylor]: Taking taylor expansion of y in y 19.509 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 19.509 * [taylor]: Taking taylor expansion of (neg y) in y 19.509 * [taylor]: Taking taylor expansion of y in y 19.509 * [taylor]: Taking taylor expansion of 2 in y 19.513 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 19.513 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 19.513 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 19.513 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 19.513 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.513 * [taylor]: Taking taylor expansion of y in y 19.513 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 19.513 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 19.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.513 * [taylor]: Taking taylor expansion of y in y 19.513 * [taylor]: Taking taylor expansion of 2 in y 19.513 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 19.513 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 19.513 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 19.513 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 19.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.513 * [taylor]: Taking taylor expansion of y in y 19.513 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 19.513 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 19.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.514 * [taylor]: Taking taylor expansion of y in y 19.514 * [taylor]: Taking taylor expansion of 2 in y 19.515 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 19.515 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 19.515 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 19.515 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 19.515 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 19.515 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.515 * [taylor]: Taking taylor expansion of -1 in y 19.515 * [taylor]: Taking taylor expansion of y in y 19.515 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 19.515 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 19.515 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.515 * [taylor]: Taking taylor expansion of -1 in y 19.515 * [taylor]: Taking taylor expansion of y in y 19.515 * [taylor]: Taking taylor expansion of 2 in y 19.515 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 19.516 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 19.516 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 19.516 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 19.516 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.516 * [taylor]: Taking taylor expansion of -1 in y 19.516 * [taylor]: Taking taylor expansion of y in y 19.516 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 19.516 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 19.516 * [taylor]: Taking taylor expansion of (/ -1 y) in y 19.516 * [taylor]: Taking taylor expansion of -1 in y 19.516 * [taylor]: Taking taylor expansion of y in y 19.516 * [taylor]: Taking taylor expansion of 2 in y 19.517 * * * [progress]: simplifying candidates 19.518 * [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)))) 19.521 * * [simplify]: iteration 0 : 138 enodes (cost 730 ) 19.552 * * [simplify]: iteration 1 : 321 enodes (cost 687 ) 19.698 * * [simplify]: iteration 2 : 1039 enodes (cost 621 ) 21.468 * * [simplify]: iteration 3 : 4285 enodes (cost 609 ) 22.299 * * [simplify]: iteration done : 5001 enodes (cost 609 ) 22.300 * [simplify]: Simplified to: (* (cos x) (/ (sinh y) y)) (log (* (cos x) (/ (sinh y) y))) (log (* (cos x) (/ (sinh y) y))) (log (* (cos x) (/ (sinh y) y))) (exp (* (cos x) (/ (sinh y) y))) (pow (* (cos x) (/ (sinh y) y)) 3) (pow (* (cos x) (/ (sinh y) y)) 3) (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y)))) (cbrt (* (cos x) (/ (sinh y) y))) (pow (* (cos x) (/ (sinh y) y)) 3) (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) (* (sqrt (cos x)) (sqrt (/ (sinh y) y))) (* (sqrt (cos x)) (sqrt (/ (sinh y) y))) (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y))) (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y))) (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (* (cos x) (sqrt (/ (sinh y) y))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (* (cos x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (* (cos x) (/ (sqrt (sinh y)) (sqrt y))) (* (sqrt (sinh y)) (cos x)) (/ (cos x) (* (cbrt y) (cbrt y))) (/ (cos x) (sqrt y)) (cos x) (cos x) (* (cos x) (sinh y)) (* (cbrt (cos x)) (/ (sinh y) y)) (* (sqrt (cos x)) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y)) (* (cos x) (sinh y)) (log (/ (sinh y) y)) (log (/ (sinh y) y)) (exp (/ (sinh y) y)) (pow (/ (sinh y) y) 3) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cbrt (/ (sinh y) y)) (pow (/ (sinh y) y) 3) (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (neg (sinh y)) (neg y) (/ (cbrt (sinh y)) (/ (* (cbrt y) (cbrt y)) (cbrt (sinh y)))) (/ (cbrt (sinh y)) (cbrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (/ (cbrt (sinh y)) (sqrt y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (/ (cbrt (sinh y)) y) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sinh y)) (cbrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (sqrt y)) (sqrt (sinh y)) (/ (sqrt (sinh y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sinh y) (cbrt y)) (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)) 1 (/ (sinh y) y) (/ 1 y) (/ y (sinh y)) (/ (sinh y) (* (cbrt y) (cbrt y))) (/ (sinh y) (sqrt y)) (sinh y) (/ y (cbrt (sinh y))) (/ y (sqrt (sinh y))) (/ y (sinh y)) (* 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) (/ (sinh y) y)) (* (cos x) (/ (sinh y) 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))) 22.300 * * * [progress]: adding candidates to table 22.377 * * [progress]: iteration 2 / 4 22.377 * * * [progress]: picking best candidate 22.386 * * * * [pick]: Picked # 22.386 * * * [progress]: localizing error 22.396 * * * [progress]: generating rewritten candidates 22.396 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 22.399 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 22.402 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 22.404 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 22.412 * * * [progress]: generating series expansions 22.412 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 22.412 * [approximate]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in (y) around 0 22.412 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 22.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 22.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 22.412 * [taylor]: Taking taylor expansion of 1/3 in y 22.412 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 22.412 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 22.412 * [taylor]: Taking taylor expansion of (sinh y) in y 22.412 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 22.412 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 22.412 * [taylor]: Taking taylor expansion of (exp y) in y 22.412 * [taylor]: Taking taylor expansion of y in y 22.412 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 22.412 * [taylor]: Taking taylor expansion of (neg y) in y 22.412 * [taylor]: Taking taylor expansion of y in y 22.412 * [taylor]: Taking taylor expansion of 2 in y 22.412 * [taylor]: Taking taylor expansion of y in y 22.412 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 22.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 22.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 22.412 * [taylor]: Taking taylor expansion of 1/3 in y 22.412 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 22.412 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 22.412 * [taylor]: Taking taylor expansion of (sinh y) in y 22.413 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 22.413 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 22.413 * [taylor]: Taking taylor expansion of (exp y) in y 22.413 * [taylor]: Taking taylor expansion of y in y 22.413 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 22.413 * [taylor]: Taking taylor expansion of (neg y) in y 22.413 * [taylor]: Taking taylor expansion of y in y 22.413 * [taylor]: Taking taylor expansion of 2 in y 22.413 * [taylor]: Taking taylor expansion of y in y 22.419 * [approximate]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in (y) around 0 22.419 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 22.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 22.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 22.419 * [taylor]: Taking taylor expansion of 1/3 in y 22.419 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 22.419 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 22.419 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 22.419 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 22.419 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 22.419 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 22.419 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.419 * [taylor]: Taking taylor expansion of y in y 22.419 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 22.419 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 22.419 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.419 * [taylor]: Taking taylor expansion of y in y 22.419 * [taylor]: Taking taylor expansion of 2 in y 22.419 * [taylor]: Taking taylor expansion of y in y 22.420 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 22.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 22.420 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 22.420 * [taylor]: Taking taylor expansion of 1/3 in y 22.420 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 22.420 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 22.420 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 22.420 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 22.420 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 22.420 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 22.420 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.420 * [taylor]: Taking taylor expansion of y in y 22.421 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 22.421 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 22.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.421 * [taylor]: Taking taylor expansion of y in y 22.421 * [taylor]: Taking taylor expansion of 2 in y 22.421 * [taylor]: Taking taylor expansion of y in y 22.434 * [approximate]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in (y) around 0 22.435 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 22.435 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 22.435 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 22.435 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 22.435 * [taylor]: Taking taylor expansion of 1/3 in y 22.435 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 22.435 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 22.435 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 22.435 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 22.435 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 22.435 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 22.435 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.435 * [taylor]: Taking taylor expansion of -1 in y 22.435 * [taylor]: Taking taylor expansion of y in y 22.435 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 22.435 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 22.435 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.435 * [taylor]: Taking taylor expansion of -1 in y 22.435 * [taylor]: Taking taylor expansion of y in y 22.435 * [taylor]: Taking taylor expansion of 2 in y 22.435 * [taylor]: Taking taylor expansion of y in y 22.436 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.436 * [taylor]: Taking taylor expansion of -1 in y 22.436 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 22.436 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 22.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 22.436 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 22.436 * [taylor]: Taking taylor expansion of 1/3 in y 22.436 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 22.436 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 22.436 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 22.436 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 22.436 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 22.436 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 22.436 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.436 * [taylor]: Taking taylor expansion of -1 in y 22.436 * [taylor]: Taking taylor expansion of y in y 22.436 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 22.436 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 22.436 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.436 * [taylor]: Taking taylor expansion of -1 in y 22.436 * [taylor]: Taking taylor expansion of y in y 22.437 * [taylor]: Taking taylor expansion of 2 in y 22.437 * [taylor]: Taking taylor expansion of y in y 22.437 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.437 * [taylor]: Taking taylor expansion of -1 in y 22.452 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 22.452 * [approximate]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in (y) around 0 22.452 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 22.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 22.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 22.452 * [taylor]: Taking taylor expansion of 1/3 in y 22.452 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 22.452 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 22.452 * [taylor]: Taking taylor expansion of (sinh y) in y 22.452 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 22.452 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 22.452 * [taylor]: Taking taylor expansion of (exp y) in y 22.452 * [taylor]: Taking taylor expansion of y in y 22.452 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 22.452 * [taylor]: Taking taylor expansion of (neg y) in y 22.452 * [taylor]: Taking taylor expansion of y in y 22.452 * [taylor]: Taking taylor expansion of 2 in y 22.452 * [taylor]: Taking taylor expansion of y in y 22.452 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 22.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 22.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 22.452 * [taylor]: Taking taylor expansion of 1/3 in y 22.452 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 22.452 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 22.452 * [taylor]: Taking taylor expansion of (sinh y) in y 22.452 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 22.452 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 22.452 * [taylor]: Taking taylor expansion of (exp y) in y 22.452 * [taylor]: Taking taylor expansion of y in y 22.452 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 22.453 * [taylor]: Taking taylor expansion of (neg y) in y 22.453 * [taylor]: Taking taylor expansion of y in y 22.453 * [taylor]: Taking taylor expansion of 2 in y 22.453 * [taylor]: Taking taylor expansion of y in y 22.459 * [approximate]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in (y) around 0 22.459 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 22.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 22.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 22.459 * [taylor]: Taking taylor expansion of 1/3 in y 22.459 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 22.459 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 22.459 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 22.459 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 22.459 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 22.459 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 22.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.459 * [taylor]: Taking taylor expansion of y in y 22.459 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 22.459 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 22.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.459 * [taylor]: Taking taylor expansion of y in y 22.459 * [taylor]: Taking taylor expansion of 2 in y 22.459 * [taylor]: Taking taylor expansion of y in y 22.460 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 22.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 22.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 22.460 * [taylor]: Taking taylor expansion of 1/3 in y 22.460 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 22.460 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 22.460 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 22.460 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 22.460 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 22.460 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 22.460 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.460 * [taylor]: Taking taylor expansion of y in y 22.460 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 22.460 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 22.460 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.460 * [taylor]: Taking taylor expansion of y in y 22.461 * [taylor]: Taking taylor expansion of 2 in y 22.464 * [taylor]: Taking taylor expansion of y in y 22.478 * [approximate]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in (y) around 0 22.478 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 22.478 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 22.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 22.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 22.478 * [taylor]: Taking taylor expansion of 1/3 in y 22.478 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 22.478 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 22.478 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 22.478 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 22.478 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 22.478 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 22.478 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.478 * [taylor]: Taking taylor expansion of -1 in y 22.478 * [taylor]: Taking taylor expansion of y in y 22.478 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 22.478 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 22.478 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.478 * [taylor]: Taking taylor expansion of -1 in y 22.478 * [taylor]: Taking taylor expansion of y in y 22.478 * [taylor]: Taking taylor expansion of 2 in y 22.478 * [taylor]: Taking taylor expansion of y in y 22.479 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.479 * [taylor]: Taking taylor expansion of -1 in y 22.479 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 22.479 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 22.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 22.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 22.479 * [taylor]: Taking taylor expansion of 1/3 in y 22.479 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 22.479 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 22.479 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 22.479 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 22.480 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 22.480 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 22.480 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.480 * [taylor]: Taking taylor expansion of -1 in y 22.480 * [taylor]: Taking taylor expansion of y in y 22.480 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 22.480 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 22.480 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.480 * [taylor]: Taking taylor expansion of -1 in y 22.480 * [taylor]: Taking taylor expansion of y in y 22.480 * [taylor]: Taking taylor expansion of 2 in y 22.480 * [taylor]: Taking taylor expansion of y in y 22.481 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.481 * [taylor]: Taking taylor expansion of -1 in y 22.495 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 22.495 * [approximate]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in (y) around 0 22.495 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 22.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 22.495 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 22.495 * [taylor]: Taking taylor expansion of 1/3 in y 22.496 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 22.496 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 22.496 * [taylor]: Taking taylor expansion of (sinh y) in y 22.496 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 22.496 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 22.496 * [taylor]: Taking taylor expansion of (exp y) in y 22.496 * [taylor]: Taking taylor expansion of y in y 22.496 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 22.496 * [taylor]: Taking taylor expansion of (neg y) in y 22.496 * [taylor]: Taking taylor expansion of y in y 22.496 * [taylor]: Taking taylor expansion of 2 in y 22.496 * [taylor]: Taking taylor expansion of y in y 22.496 * [taylor]: Taking taylor expansion of (pow (/ (sinh y) y) 1/3) in y 22.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sinh y) y)))) in y 22.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sinh y) y))) in y 22.496 * [taylor]: Taking taylor expansion of 1/3 in y 22.496 * [taylor]: Taking taylor expansion of (log (/ (sinh y) y)) in y 22.496 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 22.496 * [taylor]: Taking taylor expansion of (sinh y) in y 22.496 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 22.496 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 22.496 * [taylor]: Taking taylor expansion of (exp y) in y 22.496 * [taylor]: Taking taylor expansion of y in y 22.496 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 22.496 * [taylor]: Taking taylor expansion of (neg y) in y 22.496 * [taylor]: Taking taylor expansion of y in y 22.496 * [taylor]: Taking taylor expansion of 2 in y 22.497 * [taylor]: Taking taylor expansion of y in y 22.502 * [approximate]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in (y) around 0 22.502 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 22.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 22.502 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 22.502 * [taylor]: Taking taylor expansion of 1/3 in y 22.502 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 22.502 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 22.502 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 22.502 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 22.502 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 22.502 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 22.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.502 * [taylor]: Taking taylor expansion of y in y 22.502 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 22.502 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 22.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.502 * [taylor]: Taking taylor expansion of y in y 22.502 * [taylor]: Taking taylor expansion of 2 in y 22.503 * [taylor]: Taking taylor expansion of y in y 22.503 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ 1 y)) y) 1/3) in y 22.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ 1 y)) y)))) in y 22.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ 1 y)) y))) in y 22.503 * [taylor]: Taking taylor expansion of 1/3 in y 22.503 * [taylor]: Taking taylor expansion of (log (* (sinh (/ 1 y)) y)) in y 22.503 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 22.504 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 22.504 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 22.504 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 22.504 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 22.504 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.504 * [taylor]: Taking taylor expansion of y in y 22.504 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 22.504 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 22.504 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.504 * [taylor]: Taking taylor expansion of y in y 22.504 * [taylor]: Taking taylor expansion of 2 in y 22.504 * [taylor]: Taking taylor expansion of y in y 22.518 * [approximate]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in (y) around 0 22.518 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 22.518 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 22.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 22.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 22.518 * [taylor]: Taking taylor expansion of 1/3 in y 22.518 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 22.518 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 22.518 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 22.518 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 22.518 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 22.518 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 22.518 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.518 * [taylor]: Taking taylor expansion of -1 in y 22.518 * [taylor]: Taking taylor expansion of y in y 22.518 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 22.518 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 22.518 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.518 * [taylor]: Taking taylor expansion of -1 in y 22.518 * [taylor]: Taking taylor expansion of y in y 22.518 * [taylor]: Taking taylor expansion of 2 in y 22.518 * [taylor]: Taking taylor expansion of y in y 22.519 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.519 * [taylor]: Taking taylor expansion of -1 in y 22.519 * [taylor]: Taking taylor expansion of (* (pow (* (sinh (/ -1 y)) y) 1/3) (cbrt -1)) in y 22.519 * [taylor]: Taking taylor expansion of (pow (* (sinh (/ -1 y)) y) 1/3) in y 22.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sinh (/ -1 y)) y)))) in y 22.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sinh (/ -1 y)) y))) in y 22.519 * [taylor]: Taking taylor expansion of 1/3 in y 22.519 * [taylor]: Taking taylor expansion of (log (* (sinh (/ -1 y)) y)) in y 22.519 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 22.519 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 22.519 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 22.519 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 22.519 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 22.519 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.519 * [taylor]: Taking taylor expansion of -1 in y 22.519 * [taylor]: Taking taylor expansion of y in y 22.519 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 22.520 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 22.520 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.520 * [taylor]: Taking taylor expansion of -1 in y 22.520 * [taylor]: Taking taylor expansion of y in y 22.520 * [taylor]: Taking taylor expansion of 2 in y 22.520 * [taylor]: Taking taylor expansion of y in y 22.521 * [taylor]: Taking taylor expansion of (cbrt -1) in y 22.521 * [taylor]: Taking taylor expansion of -1 in y 22.535 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 22.535 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0 22.535 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 22.535 * [taylor]: Taking taylor expansion of (sinh y) in y 22.535 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 22.535 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 22.535 * [taylor]: Taking taylor expansion of (exp y) in y 22.535 * [taylor]: Taking taylor expansion of y in y 22.535 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 22.535 * [taylor]: Taking taylor expansion of (neg y) in y 22.535 * [taylor]: Taking taylor expansion of y in y 22.535 * [taylor]: Taking taylor expansion of 2 in y 22.535 * [taylor]: Taking taylor expansion of y in y 22.535 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 22.535 * [taylor]: Taking taylor expansion of (sinh y) in y 22.535 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 22.535 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 22.535 * [taylor]: Taking taylor expansion of (exp y) in y 22.535 * [taylor]: Taking taylor expansion of y in y 22.535 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 22.536 * [taylor]: Taking taylor expansion of (neg y) in y 22.536 * [taylor]: Taking taylor expansion of y in y 22.536 * [taylor]: Taking taylor expansion of 2 in y 22.536 * [taylor]: Taking taylor expansion of y in y 22.539 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0 22.539 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 22.539 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 22.539 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 22.539 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 22.539 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 22.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.539 * [taylor]: Taking taylor expansion of y in y 22.539 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 22.539 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 22.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.539 * [taylor]: Taking taylor expansion of y in y 22.539 * [taylor]: Taking taylor expansion of 2 in y 22.540 * [taylor]: Taking taylor expansion of y in y 22.540 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 22.540 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 22.540 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 22.540 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 22.540 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 22.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.540 * [taylor]: Taking taylor expansion of y in y 22.540 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 22.540 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 22.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.540 * [taylor]: Taking taylor expansion of y in y 22.540 * [taylor]: Taking taylor expansion of 2 in y 22.540 * [taylor]: Taking taylor expansion of y in y 22.543 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0 22.543 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 22.543 * [taylor]: Taking taylor expansion of -1 in y 22.543 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 22.543 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 22.543 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 22.543 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 22.543 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 22.543 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.543 * [taylor]: Taking taylor expansion of -1 in y 22.543 * [taylor]: Taking taylor expansion of y in y 22.543 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 22.543 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 22.543 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.544 * [taylor]: Taking taylor expansion of -1 in y 22.544 * [taylor]: Taking taylor expansion of y in y 22.544 * [taylor]: Taking taylor expansion of 2 in y 22.544 * [taylor]: Taking taylor expansion of y in y 22.544 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 22.544 * [taylor]: Taking taylor expansion of -1 in y 22.544 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 22.544 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 22.544 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 22.544 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 22.544 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 22.544 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.544 * [taylor]: Taking taylor expansion of -1 in y 22.544 * [taylor]: Taking taylor expansion of y in y 22.544 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 22.544 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 22.544 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.544 * [taylor]: Taking taylor expansion of -1 in y 22.544 * [taylor]: Taking taylor expansion of y in y 22.544 * [taylor]: Taking taylor expansion of 2 in y 22.544 * [taylor]: Taking taylor expansion of y in y 22.547 * * * [progress]: simplifying candidates 22.549 * [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)) 22.557 * * [simplify]: iteration 0 : 122 enodes (cost 1164 ) 22.575 * * [simplify]: iteration 1 : 230 enodes (cost 1101 ) 22.615 * * [simplify]: iteration 2 : 511 enodes (cost 1051 ) 22.865 * * [simplify]: iteration 3 : 1475 enodes (cost 1036 ) 23.909 * * [simplify]: iteration done : 5001 enodes (cost 1036 ) 23.910 * [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 (neg y)) (exp y))) y) (/ (* -1/2 (- (exp (neg y)) (exp y))) y) 23.911 * * * [progress]: adding candidates to table 24.022 * * [progress]: iteration 3 / 4 24.022 * * * [progress]: picking best candidate 24.028 * * * * [pick]: Picked # 24.028 * * * [progress]: localizing error 24.042 * * * [progress]: generating rewritten candidates 24.042 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 24.044 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 24.045 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 24.047 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 24.055 * * * [progress]: generating series expansions 24.055 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 24.055 * [approximate]: Taking taylor expansion of (pow (cos x) 1/3) in (x) around 0 24.055 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 24.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 24.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 24.055 * [taylor]: Taking taylor expansion of 1/3 in x 24.055 * [taylor]: Taking taylor expansion of (log (cos x)) in x 24.055 * [taylor]: Taking taylor expansion of (cos x) in x 24.055 * [taylor]: Taking taylor expansion of x in x 24.055 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 24.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 24.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 24.056 * [taylor]: Taking taylor expansion of 1/3 in x 24.056 * [taylor]: Taking taylor expansion of (log (cos x)) in x 24.056 * [taylor]: Taking taylor expansion of (cos x) in x 24.056 * [taylor]: Taking taylor expansion of x in x 24.059 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in (x) around 0 24.059 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 24.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 24.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 24.059 * [taylor]: Taking taylor expansion of 1/3 in x 24.059 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 24.059 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 24.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.059 * [taylor]: Taking taylor expansion of x in x 24.059 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 24.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 24.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 24.059 * [taylor]: Taking taylor expansion of 1/3 in x 24.059 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 24.059 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 24.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.059 * [taylor]: Taking taylor expansion of x in x 24.066 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in (x) around 0 24.066 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 24.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 24.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 24.066 * [taylor]: Taking taylor expansion of 1/3 in x 24.066 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 24.067 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 24.067 * [taylor]: Taking taylor expansion of (/ -1 x) in x 24.067 * [taylor]: Taking taylor expansion of -1 in x 24.067 * [taylor]: Taking taylor expansion of x in x 24.067 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 24.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 24.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 24.067 * [taylor]: Taking taylor expansion of 1/3 in x 24.067 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 24.067 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 24.067 * [taylor]: Taking taylor expansion of (/ -1 x) in x 24.067 * [taylor]: Taking taylor expansion of -1 in x 24.067 * [taylor]: Taking taylor expansion of x in x 24.074 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 24.074 * [approximate]: Taking taylor expansion of (pow (cos x) 1/3) in (x) around 0 24.074 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 24.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 24.074 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 24.074 * [taylor]: Taking taylor expansion of 1/3 in x 24.074 * [taylor]: Taking taylor expansion of (log (cos x)) in x 24.074 * [taylor]: Taking taylor expansion of (cos x) in x 24.074 * [taylor]: Taking taylor expansion of x in x 24.074 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 24.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 24.074 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 24.074 * [taylor]: Taking taylor expansion of 1/3 in x 24.074 * [taylor]: Taking taylor expansion of (log (cos x)) in x 24.074 * [taylor]: Taking taylor expansion of (cos x) in x 24.074 * [taylor]: Taking taylor expansion of x in x 24.077 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in (x) around 0 24.077 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 24.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 24.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 24.077 * [taylor]: Taking taylor expansion of 1/3 in x 24.077 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 24.077 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 24.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.077 * [taylor]: Taking taylor expansion of x in x 24.078 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 24.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 24.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 24.078 * [taylor]: Taking taylor expansion of 1/3 in x 24.078 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 24.078 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 24.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.078 * [taylor]: Taking taylor expansion of x in x 24.085 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in (x) around 0 24.085 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 24.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 24.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 24.085 * [taylor]: Taking taylor expansion of 1/3 in x 24.085 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 24.085 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 24.085 * [taylor]: Taking taylor expansion of (/ -1 x) in x 24.085 * [taylor]: Taking taylor expansion of -1 in x 24.085 * [taylor]: Taking taylor expansion of x in x 24.085 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 24.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 24.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 24.085 * [taylor]: Taking taylor expansion of 1/3 in x 24.085 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 24.086 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 24.086 * [taylor]: Taking taylor expansion of (/ -1 x) in x 24.086 * [taylor]: Taking taylor expansion of -1 in x 24.086 * [taylor]: Taking taylor expansion of x in x 24.093 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 24.093 * [approximate]: Taking taylor expansion of (pow (cos x) 1/3) in (x) around 0 24.093 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 24.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 24.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 24.093 * [taylor]: Taking taylor expansion of 1/3 in x 24.093 * [taylor]: Taking taylor expansion of (log (cos x)) in x 24.093 * [taylor]: Taking taylor expansion of (cos x) in x 24.093 * [taylor]: Taking taylor expansion of x in x 24.093 * [taylor]: Taking taylor expansion of (pow (cos x) 1/3) in x 24.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos x)))) in x 24.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos x))) in x 24.093 * [taylor]: Taking taylor expansion of 1/3 in x 24.093 * [taylor]: Taking taylor expansion of (log (cos x)) in x 24.093 * [taylor]: Taking taylor expansion of (cos x) in x 24.093 * [taylor]: Taking taylor expansion of x in x 24.096 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in (x) around 0 24.096 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 24.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 24.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 24.096 * [taylor]: Taking taylor expansion of 1/3 in x 24.096 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 24.096 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 24.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.096 * [taylor]: Taking taylor expansion of x in x 24.096 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 1/3) in x 24.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 x))))) in x 24.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 x)))) in x 24.097 * [taylor]: Taking taylor expansion of 1/3 in x 24.097 * [taylor]: Taking taylor expansion of (log (cos (/ 1 x))) in x 24.097 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 24.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.097 * [taylor]: Taking taylor expansion of x in x 24.104 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in (x) around 0 24.104 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 24.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 24.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 24.104 * [taylor]: Taking taylor expansion of 1/3 in x 24.104 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 24.104 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 24.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x 24.104 * [taylor]: Taking taylor expansion of -1 in x 24.104 * [taylor]: Taking taylor expansion of x in x 24.104 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 1/3) in x 24.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 x))))) in x 24.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 x)))) in x 24.104 * [taylor]: Taking taylor expansion of 1/3 in x 24.104 * [taylor]: Taking taylor expansion of (log (cos (/ -1 x))) in x 24.104 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 24.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x 24.104 * [taylor]: Taking taylor expansion of -1 in x 24.104 * [taylor]: Taking taylor expansion of x in x 24.112 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 24.112 * [approximate]: Taking taylor expansion of (pow (pow (cos x) 2) 1/3) in (x) around 0 24.112 * [taylor]: Taking taylor expansion of (pow (pow (cos x) 2) 1/3) in x 24.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos x) 2)))) in x 24.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos x) 2))) in x 24.112 * [taylor]: Taking taylor expansion of 1/3 in x 24.112 * [taylor]: Taking taylor expansion of (log (pow (cos x) 2)) in x 24.112 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 24.112 * [taylor]: Taking taylor expansion of (cos x) in x 24.112 * [taylor]: Taking taylor expansion of x in x 24.112 * [taylor]: Taking taylor expansion of (pow (pow (cos x) 2) 1/3) in x 24.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos x) 2)))) in x 24.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos x) 2))) in x 24.112 * [taylor]: Taking taylor expansion of 1/3 in x 24.112 * [taylor]: Taking taylor expansion of (log (pow (cos x) 2)) in x 24.112 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 24.112 * [taylor]: Taking taylor expansion of (cos x) in x 24.112 * [taylor]: Taking taylor expansion of x in x 24.120 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 2) 1/3) in (x) around 0 24.120 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 2) 1/3) in x 24.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 x)) 2)))) in x 24.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 x)) 2))) in x 24.120 * [taylor]: Taking taylor expansion of 1/3 in x 24.120 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 x)) 2)) in x 24.120 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 24.120 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 24.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.120 * [taylor]: Taking taylor expansion of x in x 24.120 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 x)) 2) 1/3) in x 24.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 x)) 2)))) in x 24.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 x)) 2))) in x 24.121 * [taylor]: Taking taylor expansion of 1/3 in x 24.121 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 x)) 2)) in x 24.121 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 24.121 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 24.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.121 * [taylor]: Taking taylor expansion of x in x 24.130 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 2) 1/3) in (x) around 0 24.130 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 2) 1/3) in x 24.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 x)) 2)))) in x 24.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 x)) 2))) in x 24.130 * [taylor]: Taking taylor expansion of 1/3 in x 24.130 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 x)) 2)) in x 24.130 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 24.130 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 24.130 * [taylor]: Taking taylor expansion of (/ -1 x) in x 24.130 * [taylor]: Taking taylor expansion of -1 in x 24.130 * [taylor]: Taking taylor expansion of x in x 24.130 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 x)) 2) 1/3) in x 24.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 x)) 2)))) in x 24.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 x)) 2))) in x 24.130 * [taylor]: Taking taylor expansion of 1/3 in x 24.130 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 x)) 2)) in x 24.130 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 24.130 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 24.130 * [taylor]: Taking taylor expansion of (/ -1 x) in x 24.130 * [taylor]: Taking taylor expansion of -1 in x 24.130 * [taylor]: Taking taylor expansion of x in x 24.144 * * * [progress]: simplifying candidates 24.145 * [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) 24.148 * * [simplify]: iteration 0 : 65 enodes (cost 694 ) 24.159 * * [simplify]: iteration 1 : 125 enodes (cost 615 ) 24.179 * * [simplify]: iteration 2 : 358 enodes (cost 521 ) 24.479 * * [simplify]: iteration 3 : 1332 enodes (cost 499 ) 26.315 * * [simplify]: iteration 4 : 4814 enodes (cost 492 ) 27.834 * * [simplify]: iteration done : 5000 enodes (cost 492 ) 27.835 * [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)) (pow (cbrt (cbrt (cos x))) 5) (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)))) (pow (cos x) 2/3) (pow (cos x) 2/3) 27.835 * * * [progress]: adding candidates to table 27.907 * * [progress]: iteration 4 / 4 27.907 * * * [progress]: picking best candidate 27.911 * * * * [pick]: Picked # 27.911 * * * [progress]: localizing error 27.920 * * * [progress]: generating rewritten candidates 27.920 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 27.933 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 27.937 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 27.942 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 27.954 * * * [progress]: generating series expansions 27.954 * * * * [progress]: [ 1 / 4 ] generating series at (2) 27.954 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 27.954 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 27.954 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 27.954 * [taylor]: Taking taylor expansion of (sinh y) in y 27.954 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 27.954 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 27.954 * [taylor]: Taking taylor expansion of (exp y) in y 27.954 * [taylor]: Taking taylor expansion of y in y 27.954 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 27.954 * [taylor]: Taking taylor expansion of (neg y) in y 27.954 * [taylor]: Taking taylor expansion of y in y 27.954 * [taylor]: Taking taylor expansion of 2 in y 27.955 * [taylor]: Taking taylor expansion of (cos x) in y 27.955 * [taylor]: Taking taylor expansion of x in y 27.955 * [taylor]: Taking taylor expansion of y in y 27.955 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 27.955 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 27.955 * [taylor]: Taking taylor expansion of (sinh y) in x 27.955 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 27.955 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 27.955 * [taylor]: Taking taylor expansion of (exp y) in x 27.955 * [taylor]: Taking taylor expansion of y in x 27.955 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 27.955 * [taylor]: Taking taylor expansion of (neg y) in x 27.955 * [taylor]: Taking taylor expansion of y in x 27.955 * [taylor]: Taking taylor expansion of 2 in x 27.955 * [taylor]: Taking taylor expansion of (cos x) in x 27.955 * [taylor]: Taking taylor expansion of x in x 27.955 * [taylor]: Taking taylor expansion of y in x 27.955 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 27.955 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 27.955 * [taylor]: Taking taylor expansion of (sinh y) in x 27.955 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 27.956 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 27.956 * [taylor]: Taking taylor expansion of (exp y) in x 27.956 * [taylor]: Taking taylor expansion of y in x 27.956 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 27.956 * [taylor]: Taking taylor expansion of (neg y) in x 27.956 * [taylor]: Taking taylor expansion of y in x 27.956 * [taylor]: Taking taylor expansion of 2 in x 27.956 * [taylor]: Taking taylor expansion of (cos x) in x 27.956 * [taylor]: Taking taylor expansion of x in x 27.956 * [taylor]: Taking taylor expansion of y in x 27.956 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (neg y))) y)) in y 27.956 * [taylor]: Taking taylor expansion of 1/2 in y 27.956 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 27.956 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 27.956 * [taylor]: Taking taylor expansion of (exp y) in y 27.956 * [taylor]: Taking taylor expansion of y in y 27.956 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 27.956 * [taylor]: Taking taylor expansion of (neg y) in y 27.956 * [taylor]: Taking taylor expansion of y in y 27.956 * [taylor]: Taking taylor expansion of y in y 27.957 * [taylor]: Taking taylor expansion of 0 in y 27.958 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 27.958 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 27.958 * [taylor]: Taking taylor expansion of 1/4 in y 27.958 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 27.958 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 27.958 * [taylor]: Taking taylor expansion of (neg y) in y 27.958 * [taylor]: Taking taylor expansion of y in y 27.958 * [taylor]: Taking taylor expansion of y in y 27.958 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 27.958 * [taylor]: Taking taylor expansion of 1/4 in y 27.958 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 27.958 * [taylor]: Taking taylor expansion of (exp y) in y 27.958 * [taylor]: Taking taylor expansion of y in y 27.958 * [taylor]: Taking taylor expansion of y in y 27.959 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 27.960 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 27.960 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 27.960 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 27.960 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 27.960 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 27.960 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.960 * [taylor]: Taking taylor expansion of y in y 27.960 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 27.960 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 27.960 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.960 * [taylor]: Taking taylor expansion of y in y 27.960 * [taylor]: Taking taylor expansion of 2 in y 27.960 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 27.960 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 27.960 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.960 * [taylor]: Taking taylor expansion of x in y 27.960 * [taylor]: Taking taylor expansion of y in y 27.960 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 27.960 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 27.960 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 27.960 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 27.960 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 27.960 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.960 * [taylor]: Taking taylor expansion of y in x 27.960 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 27.960 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 27.960 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.960 * [taylor]: Taking taylor expansion of y in x 27.961 * [taylor]: Taking taylor expansion of 2 in x 27.961 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 27.961 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 27.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.961 * [taylor]: Taking taylor expansion of x in x 27.961 * [taylor]: Taking taylor expansion of y in x 27.961 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 27.961 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 27.961 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 27.961 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 27.961 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 27.961 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.961 * [taylor]: Taking taylor expansion of y in x 27.961 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 27.961 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 27.961 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.961 * [taylor]: Taking taylor expansion of y in x 27.961 * [taylor]: Taking taylor expansion of 2 in x 27.961 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 27.961 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 27.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.962 * [taylor]: Taking taylor expansion of x in x 27.962 * [taylor]: Taking taylor expansion of y in x 27.962 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 27.962 * [taylor]: Taking taylor expansion of 1/2 in y 27.962 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 27.962 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 27.962 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 27.962 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.962 * [taylor]: Taking taylor expansion of y in y 27.962 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 27.962 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 27.962 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.962 * [taylor]: Taking taylor expansion of y in y 27.962 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 27.962 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 27.962 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.962 * [taylor]: Taking taylor expansion of x in y 27.962 * [taylor]: Taking taylor expansion of y in y 27.963 * [taylor]: Taking taylor expansion of 0 in y 27.965 * [taylor]: Taking taylor expansion of 0 in y 27.966 * [taylor]: Taking taylor expansion of 0 in y 27.967 * [approximate]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) 2) in (x y) around 0 27.967 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) 2) in y 27.967 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y 27.967 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 27.967 * [taylor]: Taking taylor expansion of -1 in y 27.967 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 27.967 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 27.967 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 27.967 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 27.967 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 27.967 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.967 * [taylor]: Taking taylor expansion of -1 in y 27.967 * [taylor]: Taking taylor expansion of y in y 27.967 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 27.967 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 27.967 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.967 * [taylor]: Taking taylor expansion of -1 in y 27.967 * [taylor]: Taking taylor expansion of y in y 27.967 * [taylor]: Taking taylor expansion of 2 in y 27.967 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 27.967 * [taylor]: Taking taylor expansion of y in y 27.967 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 27.967 * [taylor]: Taking taylor expansion of (/ -1 x) in y 27.967 * [taylor]: Taking taylor expansion of -1 in y 27.967 * [taylor]: Taking taylor expansion of x in y 27.969 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) 2) in x 27.969 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 27.969 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 27.969 * [taylor]: Taking taylor expansion of -1 in x 27.969 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 27.969 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 27.969 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 27.969 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 27.969 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 27.969 * [taylor]: Taking taylor expansion of (/ -1 y) in x 27.969 * [taylor]: Taking taylor expansion of -1 in x 27.969 * [taylor]: Taking taylor expansion of y in x 27.969 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 27.969 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 27.969 * [taylor]: Taking taylor expansion of (/ -1 y) in x 27.969 * [taylor]: Taking taylor expansion of -1 in x 27.969 * [taylor]: Taking taylor expansion of y in x 27.969 * [taylor]: Taking taylor expansion of 2 in x 27.969 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 27.969 * [taylor]: Taking taylor expansion of y in x 27.969 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 27.969 * [taylor]: Taking taylor expansion of (/ -1 x) in x 27.969 * [taylor]: Taking taylor expansion of -1 in x 27.969 * [taylor]: Taking taylor expansion of x in x 27.971 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) 2) in x 27.971 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 27.971 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 27.971 * [taylor]: Taking taylor expansion of -1 in x 27.971 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 27.971 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 27.971 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 27.971 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 27.971 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 27.971 * [taylor]: Taking taylor expansion of (/ -1 y) in x 27.971 * [taylor]: Taking taylor expansion of -1 in x 27.971 * [taylor]: Taking taylor expansion of y in x 27.971 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 27.971 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 27.971 * [taylor]: Taking taylor expansion of (/ -1 y) in x 27.971 * [taylor]: Taking taylor expansion of -1 in x 27.971 * [taylor]: Taking taylor expansion of y in x 27.971 * [taylor]: Taking taylor expansion of 2 in x 27.971 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 27.971 * [taylor]: Taking taylor expansion of y in x 27.971 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 27.971 * [taylor]: Taking taylor expansion of (/ -1 x) in x 27.971 * [taylor]: Taking taylor expansion of -1 in x 27.971 * [taylor]: Taking taylor expansion of x in x 27.973 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)))) 2) in y 27.973 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)))) in y 27.973 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y))) in y 27.973 * [taylor]: Taking taylor expansion of -1/2 in y 27.973 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)) in y 27.973 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 27.973 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 27.973 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.973 * [taylor]: Taking taylor expansion of -1 in y 27.973 * [taylor]: Taking taylor expansion of y in y 27.973 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 27.973 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.973 * [taylor]: Taking taylor expansion of y in y 27.973 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y 27.973 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 27.973 * [taylor]: Taking taylor expansion of (/ -1 x) in y 27.973 * [taylor]: Taking taylor expansion of -1 in y 27.973 * [taylor]: Taking taylor expansion of x in y 27.974 * [taylor]: Taking taylor expansion of y in y 27.975 * [taylor]: Taking taylor expansion of 0 in y 27.985 * [taylor]: Taking taylor expansion of 0 in y 28.002 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 28.002 * [approximate]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in (x y) around 0 28.002 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in y 28.002 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 28.002 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 28.002 * [taylor]: Taking taylor expansion of (sinh y) in y 28.002 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 28.002 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 28.002 * [taylor]: Taking taylor expansion of (exp y) in y 28.002 * [taylor]: Taking taylor expansion of y in y 28.002 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 28.002 * [taylor]: Taking taylor expansion of (neg y) in y 28.002 * [taylor]: Taking taylor expansion of y in y 28.002 * [taylor]: Taking taylor expansion of 2 in y 28.002 * [taylor]: Taking taylor expansion of (cos x) in y 28.002 * [taylor]: Taking taylor expansion of x in y 28.002 * [taylor]: Taking taylor expansion of y in y 28.003 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in x 28.003 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 28.003 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 28.003 * [taylor]: Taking taylor expansion of (sinh y) in x 28.003 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 28.003 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 28.003 * [taylor]: Taking taylor expansion of (exp y) in x 28.003 * [taylor]: Taking taylor expansion of y in x 28.003 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 28.003 * [taylor]: Taking taylor expansion of (neg y) in x 28.003 * [taylor]: Taking taylor expansion of y in x 28.003 * [taylor]: Taking taylor expansion of 2 in x 28.003 * [taylor]: Taking taylor expansion of (cos x) in x 28.003 * [taylor]: Taking taylor expansion of x in x 28.003 * [taylor]: Taking taylor expansion of y in x 28.004 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in x 28.004 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 28.004 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 28.004 * [taylor]: Taking taylor expansion of (sinh y) in x 28.004 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 28.004 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 28.004 * [taylor]: Taking taylor expansion of (exp y) in x 28.004 * [taylor]: Taking taylor expansion of y in x 28.004 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 28.004 * [taylor]: Taking taylor expansion of (neg y) in x 28.004 * [taylor]: Taking taylor expansion of y in x 28.004 * [taylor]: Taking taylor expansion of 2 in x 28.005 * [taylor]: Taking taylor expansion of (cos x) in x 28.005 * [taylor]: Taking taylor expansion of x in x 28.005 * [taylor]: Taking taylor expansion of y in x 28.005 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (/ (- (exp y) (exp (neg y))) y))) in y 28.005 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 28.006 * [taylor]: Taking taylor expansion of 1/2 in y 28.006 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp y) (exp (neg y))) y)) in y 28.006 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 28.006 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 28.006 * [taylor]: Taking taylor expansion of (exp y) in y 28.006 * [taylor]: Taking taylor expansion of y in y 28.006 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 28.006 * [taylor]: Taking taylor expansion of (neg y) in y 28.006 * [taylor]: Taking taylor expansion of y in y 28.006 * [taylor]: Taking taylor expansion of y in y 28.006 * [taylor]: Taking taylor expansion of 0 in y 28.007 * [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 28.007 * [taylor]: Taking taylor expansion of 1/2 in y 28.007 * [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 28.008 * [taylor]: Taking taylor expansion of (/ (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) (sqrt 1/2)) in y 28.008 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 28.008 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 28.008 * [taylor]: Taking taylor expansion of 1/4 in y 28.008 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 28.008 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 28.008 * [taylor]: Taking taylor expansion of (neg y) in y 28.008 * [taylor]: Taking taylor expansion of y in y 28.008 * [taylor]: Taking taylor expansion of y in y 28.008 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 28.008 * [taylor]: Taking taylor expansion of 1/4 in y 28.008 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 28.008 * [taylor]: Taking taylor expansion of (exp y) in y 28.008 * [taylor]: Taking taylor expansion of y in y 28.008 * [taylor]: Taking taylor expansion of y in y 28.008 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 28.008 * [taylor]: Taking taylor expansion of 1/2 in y 28.008 * [taylor]: Taking taylor expansion of (sqrt (/ y (- (exp y) (exp (neg y))))) in y 28.008 * [taylor]: Taking taylor expansion of (/ y (- (exp y) (exp (neg y)))) in y 28.008 * [taylor]: Taking taylor expansion of y in y 28.008 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 28.008 * [taylor]: Taking taylor expansion of (exp y) in y 28.008 * [taylor]: Taking taylor expansion of y in y 28.008 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 28.008 * [taylor]: Taking taylor expansion of (neg y) in y 28.008 * [taylor]: Taking taylor expansion of y in y 28.010 * [approximate]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in (x y) around 0 28.010 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y 28.010 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 28.010 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 28.010 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 28.010 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 28.010 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 28.010 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.010 * [taylor]: Taking taylor expansion of y in y 28.010 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 28.010 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 28.010 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.010 * [taylor]: Taking taylor expansion of y in y 28.010 * [taylor]: Taking taylor expansion of 2 in y 28.011 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 28.011 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 28.011 * [taylor]: Taking taylor expansion of (/ 1 x) in y 28.011 * [taylor]: Taking taylor expansion of x in y 28.011 * [taylor]: Taking taylor expansion of y in y 28.012 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x 28.012 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 28.012 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 28.012 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 28.012 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 28.012 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 28.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.012 * [taylor]: Taking taylor expansion of y in x 28.012 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 28.012 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 28.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.012 * [taylor]: Taking taylor expansion of y in x 28.012 * [taylor]: Taking taylor expansion of 2 in x 28.012 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 28.012 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 28.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x 28.012 * [taylor]: Taking taylor expansion of x in x 28.012 * [taylor]: Taking taylor expansion of y in x 28.013 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x 28.013 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 28.013 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 28.013 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 28.013 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 28.013 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 28.014 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.014 * [taylor]: Taking taylor expansion of y in x 28.014 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 28.014 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 28.014 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.014 * [taylor]: Taking taylor expansion of y in x 28.014 * [taylor]: Taking taylor expansion of 2 in x 28.014 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 28.014 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 28.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x 28.014 * [taylor]: Taking taylor expansion of x in x 28.014 * [taylor]: Taking taylor expansion of y in x 28.015 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)))) in y 28.015 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 28.015 * [taylor]: Taking taylor expansion of 1/2 in y 28.015 * [taylor]: Taking taylor expansion of (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 28.015 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 28.015 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 28.015 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 28.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.015 * [taylor]: Taking taylor expansion of y in y 28.015 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 28.015 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 28.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.015 * [taylor]: Taking taylor expansion of y in y 28.015 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 28.015 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 28.016 * [taylor]: Taking taylor expansion of (/ 1 x) in y 28.016 * [taylor]: Taking taylor expansion of x in y 28.016 * [taylor]: Taking taylor expansion of y in y 28.016 * [taylor]: Taking taylor expansion of 0 in y 28.018 * [taylor]: Taking taylor expansion of 0 in y 28.022 * [taylor]: Taking taylor expansion of 0 in y 28.033 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in (x y) around 0 28.033 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y 28.033 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 28.033 * [taylor]: Taking taylor expansion of -1 in y 28.033 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 28.033 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 28.033 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 28.033 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 28.033 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 28.033 * [taylor]: Taking taylor expansion of (/ -1 y) in y 28.033 * [taylor]: Taking taylor expansion of -1 in y 28.033 * [taylor]: Taking taylor expansion of y in y 28.033 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 28.034 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 28.034 * [taylor]: Taking taylor expansion of (/ -1 y) in y 28.034 * [taylor]: Taking taylor expansion of -1 in y 28.034 * [taylor]: Taking taylor expansion of y in y 28.034 * [taylor]: Taking taylor expansion of 2 in y 28.034 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 28.034 * [taylor]: Taking taylor expansion of y in y 28.034 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 28.034 * [taylor]: Taking taylor expansion of (/ -1 x) in y 28.034 * [taylor]: Taking taylor expansion of -1 in y 28.034 * [taylor]: Taking taylor expansion of x in y 28.035 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 28.035 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 28.035 * [taylor]: Taking taylor expansion of -1 in x 28.035 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 28.035 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 28.035 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 28.035 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 28.035 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 28.035 * [taylor]: Taking taylor expansion of (/ -1 y) in x 28.035 * [taylor]: Taking taylor expansion of -1 in x 28.035 * [taylor]: Taking taylor expansion of y in x 28.035 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 28.035 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 28.035 * [taylor]: Taking taylor expansion of (/ -1 y) in x 28.035 * [taylor]: Taking taylor expansion of -1 in x 28.035 * [taylor]: Taking taylor expansion of y in x 28.035 * [taylor]: Taking taylor expansion of 2 in x 28.036 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 28.036 * [taylor]: Taking taylor expansion of y in x 28.036 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 28.036 * [taylor]: Taking taylor expansion of (/ -1 x) in x 28.036 * [taylor]: Taking taylor expansion of -1 in x 28.036 * [taylor]: Taking taylor expansion of x in x 28.037 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 28.037 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 28.037 * [taylor]: Taking taylor expansion of -1 in x 28.037 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 28.037 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 28.037 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 28.037 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 28.037 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 28.037 * [taylor]: Taking taylor expansion of (/ -1 y) in x 28.037 * [taylor]: Taking taylor expansion of -1 in x 28.037 * [taylor]: Taking taylor expansion of y in x 28.037 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 28.037 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 28.037 * [taylor]: Taking taylor expansion of (/ -1 y) in x 28.037 * [taylor]: Taking taylor expansion of -1 in x 28.037 * [taylor]: Taking taylor expansion of y in x 28.037 * [taylor]: Taking taylor expansion of 2 in x 28.038 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 28.038 * [taylor]: Taking taylor expansion of y in x 28.038 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 28.038 * [taylor]: Taking taylor expansion of (/ -1 x) in x 28.038 * [taylor]: Taking taylor expansion of -1 in x 28.038 * [taylor]: Taking taylor expansion of x in x 28.039 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x)))))) in y 28.039 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x))))) in y 28.039 * [taylor]: Taking taylor expansion of -1/2 in y 28.039 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x)))) in y 28.039 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 28.039 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 28.039 * [taylor]: Taking taylor expansion of (/ -1 y) in y 28.039 * [taylor]: Taking taylor expansion of -1 in y 28.039 * [taylor]: Taking taylor expansion of y in y 28.039 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 28.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.039 * [taylor]: Taking taylor expansion of y in y 28.039 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 28.039 * [taylor]: Taking taylor expansion of y in y 28.039 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 28.039 * [taylor]: Taking taylor expansion of (/ -1 x) in y 28.039 * [taylor]: Taking taylor expansion of -1 in y 28.039 * [taylor]: Taking taylor expansion of x in y 28.040 * [taylor]: Taking taylor expansion of 0 in y 28.042 * [taylor]: Taking taylor expansion of 0 in y 28.045 * [taylor]: Taking taylor expansion of 0 in y 28.052 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 28.053 * [approximate]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in (x y) around 0 28.053 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in y 28.053 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 28.053 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 28.053 * [taylor]: Taking taylor expansion of (sinh y) in y 28.053 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 28.053 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 28.053 * [taylor]: Taking taylor expansion of (exp y) in y 28.053 * [taylor]: Taking taylor expansion of y in y 28.053 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 28.053 * [taylor]: Taking taylor expansion of (neg y) in y 28.053 * [taylor]: Taking taylor expansion of y in y 28.053 * [taylor]: Taking taylor expansion of 2 in y 28.053 * [taylor]: Taking taylor expansion of (cos x) in y 28.053 * [taylor]: Taking taylor expansion of x in y 28.053 * [taylor]: Taking taylor expansion of y in y 28.054 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in x 28.054 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 28.054 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 28.054 * [taylor]: Taking taylor expansion of (sinh y) in x 28.054 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 28.054 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 28.054 * [taylor]: Taking taylor expansion of (exp y) in x 28.054 * [taylor]: Taking taylor expansion of y in x 28.054 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 28.054 * [taylor]: Taking taylor expansion of (neg y) in x 28.054 * [taylor]: Taking taylor expansion of y in x 28.054 * [taylor]: Taking taylor expansion of 2 in x 28.054 * [taylor]: Taking taylor expansion of (cos x) in x 28.055 * [taylor]: Taking taylor expansion of x in x 28.055 * [taylor]: Taking taylor expansion of y in x 28.055 * [taylor]: Taking taylor expansion of (sqrt (/ (* (sinh y) (cos x)) y)) in x 28.055 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 28.055 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 28.055 * [taylor]: Taking taylor expansion of (sinh y) in x 28.055 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 28.055 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 28.055 * [taylor]: Taking taylor expansion of (exp y) in x 28.055 * [taylor]: Taking taylor expansion of y in x 28.055 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 28.055 * [taylor]: Taking taylor expansion of (neg y) in x 28.055 * [taylor]: Taking taylor expansion of y in x 28.056 * [taylor]: Taking taylor expansion of 2 in x 28.056 * [taylor]: Taking taylor expansion of (cos x) in x 28.056 * [taylor]: Taking taylor expansion of x in x 28.056 * [taylor]: Taking taylor expansion of y in x 28.056 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (/ (- (exp y) (exp (neg y))) y))) in y 28.056 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 28.056 * [taylor]: Taking taylor expansion of 1/2 in y 28.057 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp y) (exp (neg y))) y)) in y 28.057 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 28.057 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 28.057 * [taylor]: Taking taylor expansion of (exp y) in y 28.057 * [taylor]: Taking taylor expansion of y in y 28.057 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 28.057 * [taylor]: Taking taylor expansion of (neg y) in y 28.057 * [taylor]: Taking taylor expansion of y in y 28.057 * [taylor]: Taking taylor expansion of y in y 28.057 * [taylor]: Taking taylor expansion of 0 in y 28.058 * [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 28.058 * [taylor]: Taking taylor expansion of 1/2 in y 28.058 * [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 28.058 * [taylor]: Taking taylor expansion of (/ (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) (sqrt 1/2)) in y 28.058 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 28.059 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 28.059 * [taylor]: Taking taylor expansion of 1/4 in y 28.059 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 28.059 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 28.059 * [taylor]: Taking taylor expansion of (neg y) in y 28.059 * [taylor]: Taking taylor expansion of y in y 28.059 * [taylor]: Taking taylor expansion of y in y 28.059 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 28.059 * [taylor]: Taking taylor expansion of 1/4 in y 28.059 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 28.059 * [taylor]: Taking taylor expansion of (exp y) in y 28.059 * [taylor]: Taking taylor expansion of y in y 28.059 * [taylor]: Taking taylor expansion of y in y 28.059 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 28.059 * [taylor]: Taking taylor expansion of 1/2 in y 28.059 * [taylor]: Taking taylor expansion of (sqrt (/ y (- (exp y) (exp (neg y))))) in y 28.059 * [taylor]: Taking taylor expansion of (/ y (- (exp y) (exp (neg y)))) in y 28.059 * [taylor]: Taking taylor expansion of y in y 28.059 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 28.059 * [taylor]: Taking taylor expansion of (exp y) in y 28.059 * [taylor]: Taking taylor expansion of y in y 28.059 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 28.059 * [taylor]: Taking taylor expansion of (neg y) in y 28.059 * [taylor]: Taking taylor expansion of y in y 28.064 * [approximate]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in (x y) around 0 28.064 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in y 28.064 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 28.064 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 28.064 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 28.064 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 28.064 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 28.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.064 * [taylor]: Taking taylor expansion of y in y 28.065 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 28.065 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 28.065 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.065 * [taylor]: Taking taylor expansion of y in y 28.065 * [taylor]: Taking taylor expansion of 2 in y 28.065 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 28.065 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 28.065 * [taylor]: Taking taylor expansion of (/ 1 x) in y 28.065 * [taylor]: Taking taylor expansion of x in y 28.065 * [taylor]: Taking taylor expansion of y in y 28.066 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x 28.066 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 28.066 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 28.066 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 28.066 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 28.066 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 28.066 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.066 * [taylor]: Taking taylor expansion of y in x 28.066 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 28.066 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 28.066 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.066 * [taylor]: Taking taylor expansion of y in x 28.066 * [taylor]: Taking taylor expansion of 2 in x 28.066 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 28.067 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 28.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 28.067 * [taylor]: Taking taylor expansion of x in x 28.067 * [taylor]: Taking taylor expansion of y in x 28.068 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))) in x 28.068 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 28.068 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 28.068 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 28.068 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 28.068 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 28.068 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.068 * [taylor]: Taking taylor expansion of y in x 28.068 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 28.068 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 28.068 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.068 * [taylor]: Taking taylor expansion of y in x 28.068 * [taylor]: Taking taylor expansion of 2 in x 28.068 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 28.068 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 28.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x 28.068 * [taylor]: Taking taylor expansion of x in x 28.068 * [taylor]: Taking taylor expansion of y in x 28.069 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)))) in y 28.069 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 28.069 * [taylor]: Taking taylor expansion of 1/2 in y 28.069 * [taylor]: Taking taylor expansion of (sqrt (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 28.069 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 28.069 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 28.069 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 28.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.069 * [taylor]: Taking taylor expansion of y in y 28.070 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 28.070 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 28.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.070 * [taylor]: Taking taylor expansion of y in y 28.070 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 28.070 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 28.070 * [taylor]: Taking taylor expansion of (/ 1 x) in y 28.070 * [taylor]: Taking taylor expansion of x in y 28.070 * [taylor]: Taking taylor expansion of y in y 28.071 * [taylor]: Taking taylor expansion of 0 in y 28.072 * [taylor]: Taking taylor expansion of 0 in y 28.076 * [taylor]: Taking taylor expansion of 0 in y 28.087 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in (x y) around 0 28.087 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in y 28.087 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 28.087 * [taylor]: Taking taylor expansion of -1 in y 28.087 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 28.087 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 28.087 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 28.087 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 28.087 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 28.087 * [taylor]: Taking taylor expansion of (/ -1 y) in y 28.087 * [taylor]: Taking taylor expansion of -1 in y 28.087 * [taylor]: Taking taylor expansion of y in y 28.087 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 28.087 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 28.087 * [taylor]: Taking taylor expansion of (/ -1 y) in y 28.087 * [taylor]: Taking taylor expansion of -1 in y 28.087 * [taylor]: Taking taylor expansion of y in y 28.087 * [taylor]: Taking taylor expansion of 2 in y 28.088 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 28.088 * [taylor]: Taking taylor expansion of y in y 28.088 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 28.088 * [taylor]: Taking taylor expansion of (/ -1 x) in y 28.088 * [taylor]: Taking taylor expansion of -1 in y 28.088 * [taylor]: Taking taylor expansion of x in y 28.089 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 28.089 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 28.089 * [taylor]: Taking taylor expansion of -1 in x 28.089 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 28.089 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 28.089 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 28.089 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 28.089 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 28.089 * [taylor]: Taking taylor expansion of (/ -1 y) in x 28.089 * [taylor]: Taking taylor expansion of -1 in x 28.089 * [taylor]: Taking taylor expansion of y in x 28.089 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 28.089 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 28.089 * [taylor]: Taking taylor expansion of (/ -1 y) in x 28.089 * [taylor]: Taking taylor expansion of -1 in x 28.089 * [taylor]: Taking taylor expansion of y in x 28.089 * [taylor]: Taking taylor expansion of 2 in x 28.089 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 28.089 * [taylor]: Taking taylor expansion of y in x 28.089 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 28.090 * [taylor]: Taking taylor expansion of (/ -1 x) in x 28.090 * [taylor]: Taking taylor expansion of -1 in x 28.090 * [taylor]: Taking taylor expansion of x in x 28.091 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))) in x 28.091 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 28.091 * [taylor]: Taking taylor expansion of -1 in x 28.091 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 28.091 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 28.091 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 28.091 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 28.091 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 28.091 * [taylor]: Taking taylor expansion of (/ -1 y) in x 28.091 * [taylor]: Taking taylor expansion of -1 in x 28.091 * [taylor]: Taking taylor expansion of y in x 28.091 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 28.091 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 28.091 * [taylor]: Taking taylor expansion of (/ -1 y) in x 28.091 * [taylor]: Taking taylor expansion of -1 in x 28.091 * [taylor]: Taking taylor expansion of y in x 28.091 * [taylor]: Taking taylor expansion of 2 in x 28.091 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 28.091 * [taylor]: Taking taylor expansion of y in x 28.091 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 28.091 * [taylor]: Taking taylor expansion of (/ -1 x) in x 28.091 * [taylor]: Taking taylor expansion of -1 in x 28.091 * [taylor]: Taking taylor expansion of x in x 28.093 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x)))))) in y 28.093 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x))))) in y 28.093 * [taylor]: Taking taylor expansion of -1/2 in y 28.093 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* y (cos (/ -1 x)))) in y 28.093 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 28.093 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 28.093 * [taylor]: Taking taylor expansion of (/ -1 y) in y 28.093 * [taylor]: Taking taylor expansion of -1 in y 28.093 * [taylor]: Taking taylor expansion of y in y 28.093 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 28.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.093 * [taylor]: Taking taylor expansion of y in y 28.093 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 28.093 * [taylor]: Taking taylor expansion of y in y 28.093 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 28.093 * [taylor]: Taking taylor expansion of (/ -1 x) in y 28.093 * [taylor]: Taking taylor expansion of -1 in y 28.093 * [taylor]: Taking taylor expansion of x in y 28.094 * [taylor]: Taking taylor expansion of 0 in y 28.095 * [taylor]: Taking taylor expansion of 0 in y 28.099 * [taylor]: Taking taylor expansion of 0 in y 28.107 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 28.107 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0 28.107 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y 28.107 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y 28.107 * [taylor]: Taking taylor expansion of (sinh y) in y 28.107 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 28.107 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 28.107 * [taylor]: Taking taylor expansion of (exp y) in y 28.107 * [taylor]: Taking taylor expansion of y in y 28.107 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 28.107 * [taylor]: Taking taylor expansion of (neg y) in y 28.107 * [taylor]: Taking taylor expansion of y in y 28.107 * [taylor]: Taking taylor expansion of 2 in y 28.107 * [taylor]: Taking taylor expansion of (cos x) in y 28.107 * [taylor]: Taking taylor expansion of x in y 28.107 * [taylor]: Taking taylor expansion of y in y 28.107 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 28.107 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 28.108 * [taylor]: Taking taylor expansion of (sinh y) in x 28.108 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 28.108 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 28.108 * [taylor]: Taking taylor expansion of (exp y) in x 28.108 * [taylor]: Taking taylor expansion of y in x 28.108 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 28.108 * [taylor]: Taking taylor expansion of (neg y) in x 28.108 * [taylor]: Taking taylor expansion of y in x 28.108 * [taylor]: Taking taylor expansion of 2 in x 28.108 * [taylor]: Taking taylor expansion of (cos x) in x 28.108 * [taylor]: Taking taylor expansion of x in x 28.108 * [taylor]: Taking taylor expansion of y in x 28.108 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x 28.108 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x 28.108 * [taylor]: Taking taylor expansion of (sinh y) in x 28.108 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 28.108 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 28.108 * [taylor]: Taking taylor expansion of (exp y) in x 28.108 * [taylor]: Taking taylor expansion of y in x 28.108 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 28.108 * [taylor]: Taking taylor expansion of (neg y) in x 28.108 * [taylor]: Taking taylor expansion of y in x 28.108 * [taylor]: Taking taylor expansion of 2 in x 28.108 * [taylor]: Taking taylor expansion of (cos x) in x 28.108 * [taylor]: Taking taylor expansion of x in x 28.108 * [taylor]: Taking taylor expansion of y in x 28.109 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (neg y))) y)) in y 28.109 * [taylor]: Taking taylor expansion of 1/2 in y 28.109 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (neg y))) y) in y 28.109 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 28.109 * [taylor]: Taking taylor expansion of (exp y) in y 28.109 * [taylor]: Taking taylor expansion of y in y 28.109 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 28.109 * [taylor]: Taking taylor expansion of (neg y) in y 28.109 * [taylor]: Taking taylor expansion of y in y 28.109 * [taylor]: Taking taylor expansion of y in y 28.109 * [taylor]: Taking taylor expansion of 0 in y 28.111 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (neg y)) y)) (* 1/4 (/ (exp y) y))) in y 28.111 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (neg y)) y)) in y 28.111 * [taylor]: Taking taylor expansion of 1/4 in y 28.111 * [taylor]: Taking taylor expansion of (/ (exp (neg y)) y) in y 28.111 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 28.111 * [taylor]: Taking taylor expansion of (neg y) in y 28.111 * [taylor]: Taking taylor expansion of y in y 28.111 * [taylor]: Taking taylor expansion of y in y 28.111 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y 28.111 * [taylor]: Taking taylor expansion of 1/4 in y 28.111 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 28.111 * [taylor]: Taking taylor expansion of (exp y) in y 28.111 * [taylor]: Taking taylor expansion of y in y 28.111 * [taylor]: Taking taylor expansion of y in y 28.112 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0 28.112 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y 28.112 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 28.112 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 28.112 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 28.112 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 28.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.112 * [taylor]: Taking taylor expansion of y in y 28.112 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 28.112 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 28.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.112 * [taylor]: Taking taylor expansion of y in y 28.112 * [taylor]: Taking taylor expansion of 2 in y 28.112 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 28.112 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 28.113 * [taylor]: Taking taylor expansion of (/ 1 x) in y 28.113 * [taylor]: Taking taylor expansion of x in y 28.113 * [taylor]: Taking taylor expansion of y in y 28.113 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 28.113 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 28.113 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 28.113 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 28.113 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 28.113 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.113 * [taylor]: Taking taylor expansion of y in x 28.113 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 28.113 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 28.113 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.113 * [taylor]: Taking taylor expansion of y in x 28.113 * [taylor]: Taking taylor expansion of 2 in x 28.113 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 28.113 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 28.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x 28.113 * [taylor]: Taking taylor expansion of x in x 28.113 * [taylor]: Taking taylor expansion of y in x 28.113 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x 28.113 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 28.113 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 28.113 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 28.113 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 28.113 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.113 * [taylor]: Taking taylor expansion of y in x 28.114 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 28.114 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 28.114 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.114 * [taylor]: Taking taylor expansion of y in x 28.114 * [taylor]: Taking taylor expansion of 2 in x 28.114 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x 28.114 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 28.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x 28.114 * [taylor]: Taking taylor expansion of x in x 28.114 * [taylor]: Taking taylor expansion of y in x 28.114 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y))) in y 28.114 * [taylor]: Taking taylor expansion of 1/2 in y 28.114 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (* (cos (/ 1 x)) y)) in y 28.114 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 28.114 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 28.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.114 * [taylor]: Taking taylor expansion of y in y 28.114 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 28.114 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 28.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.114 * [taylor]: Taking taylor expansion of y in y 28.115 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y 28.115 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y 28.115 * [taylor]: Taking taylor expansion of (/ 1 x) in y 28.115 * [taylor]: Taking taylor expansion of x in y 28.115 * [taylor]: Taking taylor expansion of y in y 28.116 * [taylor]: Taking taylor expansion of 0 in y 28.117 * [taylor]: Taking taylor expansion of 0 in y 28.119 * [taylor]: Taking taylor expansion of 0 in y 28.119 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0 28.119 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y 28.119 * [taylor]: Taking taylor expansion of -1 in y 28.119 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y 28.119 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 28.119 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 28.119 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 28.119 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 28.119 * [taylor]: Taking taylor expansion of (/ -1 y) in y 28.119 * [taylor]: Taking taylor expansion of -1 in y 28.119 * [taylor]: Taking taylor expansion of y in y 28.119 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 28.119 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 28.119 * [taylor]: Taking taylor expansion of (/ -1 y) in y 28.119 * [taylor]: Taking taylor expansion of -1 in y 28.119 * [taylor]: Taking taylor expansion of y in y 28.120 * [taylor]: Taking taylor expansion of 2 in y 28.120 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y 28.120 * [taylor]: Taking taylor expansion of y in y 28.120 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 28.120 * [taylor]: Taking taylor expansion of (/ -1 x) in y 28.120 * [taylor]: Taking taylor expansion of -1 in y 28.120 * [taylor]: Taking taylor expansion of x in y 28.120 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 28.120 * [taylor]: Taking taylor expansion of -1 in x 28.120 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 28.120 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 28.120 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 28.120 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 28.120 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 28.120 * [taylor]: Taking taylor expansion of (/ -1 y) in x 28.120 * [taylor]: Taking taylor expansion of -1 in x 28.120 * [taylor]: Taking taylor expansion of y in x 28.120 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 28.120 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 28.120 * [taylor]: Taking taylor expansion of (/ -1 y) in x 28.120 * [taylor]: Taking taylor expansion of -1 in x 28.121 * [taylor]: Taking taylor expansion of y in x 28.121 * [taylor]: Taking taylor expansion of 2 in x 28.121 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 28.121 * [taylor]: Taking taylor expansion of y in x 28.121 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 28.121 * [taylor]: Taking taylor expansion of (/ -1 x) in x 28.121 * [taylor]: Taking taylor expansion of -1 in x 28.121 * [taylor]: Taking taylor expansion of x in x 28.121 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x 28.121 * [taylor]: Taking taylor expansion of -1 in x 28.121 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x 28.121 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 28.121 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 28.121 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 28.121 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 28.121 * [taylor]: Taking taylor expansion of (/ -1 y) in x 28.121 * [taylor]: Taking taylor expansion of -1 in x 28.121 * [taylor]: Taking taylor expansion of y in x 28.121 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 28.121 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 28.121 * [taylor]: Taking taylor expansion of (/ -1 y) in x 28.121 * [taylor]: Taking taylor expansion of -1 in x 28.121 * [taylor]: Taking taylor expansion of y in x 28.121 * [taylor]: Taking taylor expansion of 2 in x 28.122 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x 28.122 * [taylor]: Taking taylor expansion of y in x 28.122 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 28.122 * [taylor]: Taking taylor expansion of (/ -1 x) in x 28.122 * [taylor]: Taking taylor expansion of -1 in x 28.122 * [taylor]: Taking taylor expansion of x in x 28.122 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y))) in y 28.122 * [taylor]: Taking taylor expansion of -1/2 in y 28.122 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (* (cos (/ -1 x)) y)) in y 28.122 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 28.122 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 28.122 * [taylor]: Taking taylor expansion of (/ -1 y) in y 28.122 * [taylor]: Taking taylor expansion of -1 in y 28.122 * [taylor]: Taking taylor expansion of y in y 28.122 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 28.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.122 * [taylor]: Taking taylor expansion of y in y 28.122 * [taylor]: Taking taylor expansion of (* (cos (/ -1 x)) y) in y 28.122 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y 28.122 * [taylor]: Taking taylor expansion of (/ -1 x) in y 28.122 * [taylor]: Taking taylor expansion of -1 in y 28.122 * [taylor]: Taking taylor expansion of x in y 28.122 * [taylor]: Taking taylor expansion of y in y 28.123 * [taylor]: Taking taylor expansion of 0 in y 28.125 * [taylor]: Taking taylor expansion of 0 in y 28.127 * [taylor]: Taking taylor expansion of 0 in y 28.127 * * * [progress]: simplifying candidates 28.129 * [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)) 28.145 * * [simplify]: iteration 0 : 328 enodes (cost 2521 ) 28.229 * * [simplify]: iteration 1 : 936 enodes (cost 2119 ) 28.576 * * [simplify]: iteration done : 5000 enodes (cost 2009 ) 28.577 * [simplify]: Simplified to: 1 1 1 2 1 1 1 1 1 1 (* (pow (cos x) 2) (* (/ (sinh y) y) (/ (sinh y) y))) (* (/ (sinh y) y) (cos x)) (* (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 (* (/ (sinh y) y) (cos x))) (log (* (/ (sinh y) y) (cos x))) (exp (* (/ (sinh y) y) (cos x))) (/ (* (pow (cos x) 3) (* (* (sinh y) (sinh y)) (sinh y))) (pow y 3)) (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y)))) (cbrt (* (/ (sinh y) y) (cos x))) (/ (* (pow (cos x) 3) (* (* (sinh y) (sinh y)) (sinh y))) (pow y 3)) (* (pow (cos x) 2) (* (/ (sinh y) y) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))) (* (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)))) (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 (* (/ (sinh y) y) (cos x)) (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))))) (* (/ (sinh y) y) (cos x)) (* (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))) (* (/ (sinh y) y) (cos x))) (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))) (* (/ (sinh y) y) (cos x))) (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)))) (* (/ (sinh y) y) (cos x)) (log (* (/ (sinh y) y) (cos x))) (log (* (/ (sinh y) y) (cos x))) (log (* (/ (sinh y) y) (cos x))) (exp (* (/ (sinh y) y) (cos x))) (/ (* (pow (cos x) 3) (* (* (sinh y) (sinh y)) (sinh y))) (pow y 3)) (/ (* (pow (cos x) 3) (* (* (sinh y) (sinh y)) (sinh y))) (pow y 3)) (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y)))) (cbrt (* (/ (sinh y) y) (cos x))) (/ (* (pow (cos x) 3) (* (* (sinh y) (sinh y)) (sinh y))) (pow 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))) (* (cos x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (* (cos x) (/ (sqrt (sinh y)) (sqrt y))) (* (cos x) (sqrt (sinh y))) (/ (cos x) (* (cbrt y) (cbrt y))) (/ (cos x) (sqrt y)) (cos x) (cos x) (* (cos x) (sinh y)) (* (cbrt (cos x)) (/ (sinh y) y)) (* (sqrt (cos x)) (/ (sinh y) y)) (* (/ (sinh y) y) (cos x)) (* (cos x) (sinh y)) (- (+ 1 (* 1/6 (pow y 2))) (* 1/2 (pow x 2))) (/ 1/2 (/ y (* (cos x) (- (exp y) (exp (neg y)))))) (- (- (+ (* 1/4 (+ (/ (* (* (pow NAN 2) (pow (exp (neg y)) 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)) (* 5/16 (/ (* (pow NAN 6) (* (pow (exp y) 4) (pow (cos x) 4))) (pow y 4)))) (+ (+ (* 1/4 (/ (* (pow (cos x) 2) (* (pow (exp y) 2) (pow NAN 2))) (pow y 2))) (/ (* 3/4 (pow (cos x) 3)) (/ (pow y 3) (* (* (exp y) 1) (pow NAN 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 (pow (cos x) 2)) (/ (* y y) (* 1 (pow NAN 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))) (- (- (+ (+ (+ (/ (* 2 (* (* (pow (cos x) 2) (pow NAN 3)) (sqrt 1/2))) (* y y)) (/ (* (sqrt 1/2) (* (exp y) (* NAN (cos x)))) y)) (* 2 (/ (* (sqrt 1/2) (* (pow (exp y) 3) (* (pow NAN 5) (pow (cos x) 3)))) (pow y 3)))) (/ (* 6 (* (sqrt 1/2) (* (* 1 (exp (neg y))) (* (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))) (* (/ (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))) (+ (+ (* (/ (* (* 1 (exp (neg y))) (* (pow NAN 5) (pow (cos x) 3))) (pow y 3)) 3/4) (* 1/2 (+ (/ (* NAN (* (exp y) (cos x))) y) (/ (/ (* (pow NAN 3) (pow (cos x) 2)) y) y)))) (- (* 1/4 (/ (* (pow NAN 5) (* (pow (exp y) 3) (pow (cos x) 3))) (pow y 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 (/ (* NAN (cos x)) (exp y))))) (/ (* 3/4 (pow (cos x) 3)) (/ (pow y 3) (* (pow NAN 5) (* (exp y) 1)))))))) (- (+ (* 1/6 (/ (* (sqrt 1/2) (pow y 2)) (sqrt 2))) (* (sqrt 1/2) (sqrt 2))) (* 1/4 (pow x 2))) (- (- (+ (+ (+ (/ (* 2 (* (* (pow (cos x) 2) (pow NAN 3)) (sqrt 1/2))) (* y y)) (/ (* (sqrt 1/2) (* (exp y) (* NAN (cos x)))) y)) (* 2 (/ (* (sqrt 1/2) (* (pow (exp y) 3) (* (pow NAN 5) (pow (cos x) 3)))) (pow y 3)))) (/ (* 6 (* (sqrt 1/2) (* (* 1 (exp (neg y))) (* (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))) (* (/ (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))) (+ (+ (* (/ (* (* 1 (exp (neg y))) (* (pow NAN 5) (pow (cos x) 3))) (pow y 3)) 3/4) (* 1/2 (+ (/ (* NAN (* (exp y) (cos x))) y) (/ (/ (* (pow NAN 3) (pow (cos x) 2)) y) y)))) (- (* 1/4 (/ (* (pow NAN 5) (* (pow (exp y) 3) (pow (cos x) 3))) (pow y 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 (/ (* NAN (cos x)) (exp y))))) (/ (* 3/4 (pow (cos x) 3)) (/ (pow y 3) (* (pow NAN 5) (* (exp y) 1)))))))) (- (+ 1 (* 1/6 (pow y 2))) (* 1/2 (pow x 2))) (/ 1/2 (/ y (* (cos x) (- (exp y) (exp (neg y)))))) (/ (neg (* (* (cos x) (- (exp (neg y)) (exp y))) 1/2)) y) 28.578 * * * [progress]: adding candidates to table 28.730 * [progress]: [Phase 3 of 3] Extracting. 28.730 * * [regime]: Finding splitpoints for: (# # #) 28.730 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sinh y) y) (cos x) (* (cos x) (/ (sinh y) y)) y x) 28.730 * * * * [regimes]: Trying to branch on (/ (sinh y) y) from (# # #) 28.761 * * * * [regimes]: Trying to branch on (cos x) from (# # #) 28.800 * * * * [regimes]: Trying to branch on (* (cos x) (/ (sinh y) y)) from (# # #) 28.843 * * * * [regimes]: Trying to branch on y from (# # #) 28.880 * * * * [regimes]: Trying to branch on x from (# # #) 28.917 * * * [regime]: Found split indices: #