12.987 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.078 * * * [progress]: [2/2] Setting up program. 0.080 * [progress]: [Phase 2 of 3] Improving. 0.080 * [simplify]: Simplifying using # : (* (sin x) (/ (sinh y) y)) 0.081 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.082 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.084 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 0.088 * * [simplify]: iteration 3 : 64 enodes (cost 7 ) 0.097 * * [simplify]: iteration 4 : 136 enodes (cost 7 ) 0.123 * * [simplify]: iteration 5 : 250 enodes (cost 7 ) 0.174 * * [simplify]: iteration 6 : 464 enodes (cost 7 ) 0.391 * * [simplify]: iteration 7 : 1006 enodes (cost 7 ) 1.521 * * [simplify]: iteration 8 : 2118 enodes (cost 7 ) 3.430 * * [simplify]: iteration 9 : 3015 enodes (cost 7 ) 6.741 * * [simplify]: iteration 10 : 4236 enodes (cost 7 ) 10.192 * * [simplify]: iteration 11 : 4715 enodes (cost 7 ) 13.428 * * [simplify]: iteration 12 : 4759 enodes (cost 7 ) 16.311 * * [simplify]: iteration 13 : 4770 enodes (cost 7 ) 17.423 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 17.423 * [simplify]: Simplified to: (* (sin x) (/ (sinh y) y)) 17.424 * * [progress]: iteration 1 / 4 17.424 * * * [progress]: picking best candidate 17.426 * * * * [pick]: Picked # 17.426 * * * [progress]: localizing error 17.432 * * * [progress]: generating rewritten candidates 17.432 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 17.444 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 17.445 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 17.450 * * * [progress]: generating series expansions 17.450 * * * * [progress]: [ 1 / 3 ] generating series at (2) 17.450 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in (x y) around 0 17.450 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in y 17.450 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y 17.450 * [taylor]: Taking taylor expansion of (sin x) in y 17.450 * [taylor]: Taking taylor expansion of x in y 17.450 * [taylor]: Taking taylor expansion of (sinh y) in y 17.450 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.450 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 17.450 * [taylor]: Taking taylor expansion of (exp y) in y 17.450 * [taylor]: Taking taylor expansion of y in y 17.450 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.450 * [taylor]: Taking taylor expansion of (- y) in y 17.450 * [taylor]: Taking taylor expansion of y in y 17.451 * [taylor]: Taking taylor expansion of 2 in y 17.454 * [taylor]: Taking taylor expansion of y in y 17.455 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x 17.455 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 17.455 * [taylor]: Taking taylor expansion of (sin x) in x 17.455 * [taylor]: Taking taylor expansion of x in x 17.455 * [taylor]: Taking taylor expansion of (sinh y) in x 17.455 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.455 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 17.455 * [taylor]: Taking taylor expansion of (exp y) in x 17.455 * [taylor]: Taking taylor expansion of y in x 17.455 * [taylor]: Taking taylor expansion of (exp (- y)) in x 17.455 * [taylor]: Taking taylor expansion of (- y) in x 17.455 * [taylor]: Taking taylor expansion of y in x 17.455 * [taylor]: Taking taylor expansion of 2 in x 17.455 * [taylor]: Taking taylor expansion of y in x 17.459 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x 17.459 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 17.459 * [taylor]: Taking taylor expansion of (sin x) in x 17.459 * [taylor]: Taking taylor expansion of x in x 17.459 * [taylor]: Taking taylor expansion of (sinh y) in x 17.459 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.459 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 17.459 * [taylor]: Taking taylor expansion of (exp y) in x 17.459 * [taylor]: Taking taylor expansion of y in x 17.459 * [taylor]: Taking taylor expansion of (exp (- y)) in x 17.459 * [taylor]: Taking taylor expansion of (- y) in x 17.459 * [taylor]: Taking taylor expansion of y in x 17.460 * [taylor]: Taking taylor expansion of 2 in x 17.460 * [taylor]: Taking taylor expansion of y in x 17.464 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y) in y 17.464 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y 17.464 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y 17.464 * [taylor]: Taking taylor expansion of 1/2 in y 17.464 * [taylor]: Taking taylor expansion of (exp y) in y 17.464 * [taylor]: Taking taylor expansion of y in y 17.464 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y 17.464 * [taylor]: Taking taylor expansion of 1/2 in y 17.464 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.464 * [taylor]: Taking taylor expansion of (- y) in y 17.464 * [taylor]: Taking taylor expansion of y in y 17.465 * [taylor]: Taking taylor expansion of y in y 17.474 * [taylor]: Taking taylor expansion of 0 in y 17.485 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (exp (- y)) y)) (* 1/12 (/ (exp y) y))) in y 17.485 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp (- y)) y)) in y 17.485 * [taylor]: Taking taylor expansion of 1/12 in y 17.485 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y 17.485 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.485 * [taylor]: Taking taylor expansion of (- y) in y 17.485 * [taylor]: Taking taylor expansion of y in y 17.486 * [taylor]: Taking taylor expansion of y in y 17.486 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp y) y)) in y 17.486 * [taylor]: Taking taylor expansion of 1/12 in y 17.486 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 17.486 * [taylor]: Taking taylor expansion of (exp y) in y 17.486 * [taylor]: Taking taylor expansion of y in y 17.486 * [taylor]: Taking taylor expansion of y in y 17.497 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in (x y) around 0 17.497 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in y 17.497 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 17.497 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.497 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 17.497 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.497 * [taylor]: Taking taylor expansion of y in y 17.498 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 17.498 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.498 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.498 * [taylor]: Taking taylor expansion of y in y 17.498 * [taylor]: Taking taylor expansion of 2 in y 17.499 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y 17.499 * [taylor]: Taking taylor expansion of y in y 17.499 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 17.499 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.499 * [taylor]: Taking taylor expansion of x in y 17.499 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x 17.499 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 17.499 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.499 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 17.499 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 17.499 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.499 * [taylor]: Taking taylor expansion of y in x 17.499 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 17.499 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 17.499 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.499 * [taylor]: Taking taylor expansion of y in x 17.499 * [taylor]: Taking taylor expansion of 2 in x 17.500 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x 17.500 * [taylor]: Taking taylor expansion of y in x 17.500 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 17.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.500 * [taylor]: Taking taylor expansion of x in x 17.500 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x 17.500 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 17.500 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.500 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 17.500 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 17.500 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.500 * [taylor]: Taking taylor expansion of y in x 17.500 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 17.500 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 17.501 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.501 * [taylor]: Taking taylor expansion of y in x 17.501 * [taylor]: Taking taylor expansion of 2 in x 17.501 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x 17.501 * [taylor]: Taking taylor expansion of y in x 17.501 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 17.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.501 * [taylor]: Taking taylor expansion of x in x 17.502 * [taylor]: Taking taylor expansion of (* 1/2 (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y 17.502 * [taylor]: Taking taylor expansion of 1/2 in y 17.502 * [taylor]: Taking taylor expansion of (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y 17.502 * [taylor]: Taking taylor expansion of y in y 17.502 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y 17.502 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 17.502 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.502 * [taylor]: Taking taylor expansion of x in y 17.502 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 17.502 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.502 * [taylor]: Taking taylor expansion of y in y 17.502 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 17.502 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.502 * [taylor]: Taking taylor expansion of y in y 17.507 * [taylor]: Taking taylor expansion of 0 in y 17.515 * [taylor]: Taking taylor expansion of 0 in y 17.526 * [taylor]: Taking taylor expansion of 0 in y 17.527 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in (x y) around 0 17.527 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in y 17.527 * [taylor]: Taking taylor expansion of -1 in y 17.527 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in y 17.527 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 17.527 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.527 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 17.527 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 17.527 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.527 * [taylor]: Taking taylor expansion of -1 in y 17.527 * [taylor]: Taking taylor expansion of y in y 17.527 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 17.527 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 17.528 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.528 * [taylor]: Taking taylor expansion of -1 in y 17.528 * [taylor]: Taking taylor expansion of y in y 17.528 * [taylor]: Taking taylor expansion of 2 in y 17.528 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in y 17.528 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 17.528 * [taylor]: Taking taylor expansion of (/ -1 x) in y 17.528 * [taylor]: Taking taylor expansion of -1 in y 17.528 * [taylor]: Taking taylor expansion of x in y 17.529 * [taylor]: Taking taylor expansion of y in y 17.529 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x 17.529 * [taylor]: Taking taylor expansion of -1 in x 17.529 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x 17.529 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 17.529 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.529 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 17.529 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 17.529 * [taylor]: Taking taylor expansion of (/ -1 y) in x 17.529 * [taylor]: Taking taylor expansion of -1 in x 17.529 * [taylor]: Taking taylor expansion of y in x 17.529 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 17.529 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 17.529 * [taylor]: Taking taylor expansion of (/ -1 y) in x 17.529 * [taylor]: Taking taylor expansion of -1 in x 17.529 * [taylor]: Taking taylor expansion of y in x 17.529 * [taylor]: Taking taylor expansion of 2 in x 17.529 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x 17.529 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 17.529 * [taylor]: Taking taylor expansion of (/ -1 x) in x 17.529 * [taylor]: Taking taylor expansion of -1 in x 17.529 * [taylor]: Taking taylor expansion of x in x 17.530 * [taylor]: Taking taylor expansion of y in x 17.530 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x 17.530 * [taylor]: Taking taylor expansion of -1 in x 17.530 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x 17.530 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 17.530 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.530 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 17.530 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 17.530 * [taylor]: Taking taylor expansion of (/ -1 y) in x 17.530 * [taylor]: Taking taylor expansion of -1 in x 17.530 * [taylor]: Taking taylor expansion of y in x 17.530 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 17.530 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 17.530 * [taylor]: Taking taylor expansion of (/ -1 y) in x 17.530 * [taylor]: Taking taylor expansion of -1 in x 17.530 * [taylor]: Taking taylor expansion of y in x 17.531 * [taylor]: Taking taylor expansion of 2 in x 17.531 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x 17.531 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 17.531 * [taylor]: Taking taylor expansion of (/ -1 x) in x 17.531 * [taylor]: Taking taylor expansion of -1 in x 17.531 * [taylor]: Taking taylor expansion of x in x 17.531 * [taylor]: Taking taylor expansion of y in x 17.532 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y 17.532 * [taylor]: Taking taylor expansion of -1/2 in y 17.532 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y 17.532 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 17.532 * [taylor]: Taking taylor expansion of (/ -1 x) in y 17.532 * [taylor]: Taking taylor expansion of -1 in y 17.532 * [taylor]: Taking taylor expansion of x in y 17.532 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y 17.532 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 17.532 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 17.532 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.532 * [taylor]: Taking taylor expansion of -1 in y 17.532 * [taylor]: Taking taylor expansion of y in y 17.533 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.533 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.533 * [taylor]: Taking taylor expansion of y in y 17.533 * [taylor]: Taking taylor expansion of y in y 17.541 * [taylor]: Taking taylor expansion of 0 in y 17.549 * [taylor]: Taking taylor expansion of 0 in y 17.561 * [taylor]: Taking taylor expansion of 0 in y 17.561 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 17.561 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 17.561 * [taylor]: Taking taylor expansion of (sinh y) in y 17.561 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.561 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 17.561 * [taylor]: Taking taylor expansion of (exp y) in y 17.561 * [taylor]: Taking taylor expansion of y in y 17.561 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.561 * [taylor]: Taking taylor expansion of (- y) in y 17.562 * [taylor]: Taking taylor expansion of y in y 17.562 * [taylor]: Taking taylor expansion of 2 in y 17.565 * [taylor]: Taking taylor expansion of (sinh y) in y 17.565 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.565 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 17.565 * [taylor]: Taking taylor expansion of (exp y) in y 17.565 * [taylor]: Taking taylor expansion of y in y 17.565 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.565 * [taylor]: Taking taylor expansion of (- y) in y 17.565 * [taylor]: Taking taylor expansion of y in y 17.566 * [taylor]: Taking taylor expansion of 2 in y 17.594 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 17.594 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 17.594 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.594 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 17.594 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.594 * [taylor]: Taking taylor expansion of y in y 17.594 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 17.594 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.594 * [taylor]: Taking taylor expansion of y in y 17.595 * [taylor]: Taking taylor expansion of 2 in y 17.595 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 17.595 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.595 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 17.595 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.595 * [taylor]: Taking taylor expansion of y in y 17.596 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 17.596 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.596 * [taylor]: Taking taylor expansion of y in y 17.596 * [taylor]: Taking taylor expansion of 2 in y 17.608 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 17.608 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 17.608 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.608 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 17.608 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 17.608 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.608 * [taylor]: Taking taylor expansion of -1 in y 17.608 * [taylor]: Taking taylor expansion of y in y 17.609 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 17.609 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 17.609 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.609 * [taylor]: Taking taylor expansion of -1 in y 17.609 * [taylor]: Taking taylor expansion of y in y 17.610 * [taylor]: Taking taylor expansion of 2 in y 17.610 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 17.610 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.610 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 17.610 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 17.610 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.610 * [taylor]: Taking taylor expansion of -1 in y 17.610 * [taylor]: Taking taylor expansion of y in y 17.611 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 17.611 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 17.611 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.611 * [taylor]: Taking taylor expansion of -1 in y 17.611 * [taylor]: Taking taylor expansion of y in y 17.611 * [taylor]: Taking taylor expansion of 2 in y 17.623 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 17.623 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0 17.623 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 17.623 * [taylor]: Taking taylor expansion of (sinh y) in y 17.624 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.624 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 17.624 * [taylor]: Taking taylor expansion of (exp y) in y 17.624 * [taylor]: Taking taylor expansion of y in y 17.624 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.624 * [taylor]: Taking taylor expansion of (- y) in y 17.624 * [taylor]: Taking taylor expansion of y in y 17.624 * [taylor]: Taking taylor expansion of 2 in y 17.630 * [taylor]: Taking taylor expansion of y in y 17.630 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 17.630 * [taylor]: Taking taylor expansion of (sinh y) in y 17.630 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 17.630 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 17.630 * [taylor]: Taking taylor expansion of (exp y) in y 17.630 * [taylor]: Taking taylor expansion of y in y 17.630 * [taylor]: Taking taylor expansion of (exp (- y)) in y 17.630 * [taylor]: Taking taylor expansion of (- y) in y 17.630 * [taylor]: Taking taylor expansion of y in y 17.631 * [taylor]: Taking taylor expansion of 2 in y 17.633 * [taylor]: Taking taylor expansion of y in y 17.662 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0 17.662 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 17.662 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 17.662 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.662 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 17.662 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.662 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.662 * [taylor]: Taking taylor expansion of y in y 17.662 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 17.662 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.662 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.662 * [taylor]: Taking taylor expansion of y in y 17.663 * [taylor]: Taking taylor expansion of 2 in y 17.663 * [taylor]: Taking taylor expansion of y in y 17.663 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 17.663 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 17.663 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 17.663 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 17.663 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 17.663 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.663 * [taylor]: Taking taylor expansion of y in y 17.664 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 17.664 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.664 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.664 * [taylor]: Taking taylor expansion of y in y 17.665 * [taylor]: Taking taylor expansion of 2 in y 17.665 * [taylor]: Taking taylor expansion of y in y 17.684 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0 17.685 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 17.685 * [taylor]: Taking taylor expansion of -1 in y 17.685 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 17.685 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 17.685 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.685 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 17.685 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 17.685 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.685 * [taylor]: Taking taylor expansion of -1 in y 17.685 * [taylor]: Taking taylor expansion of y in y 17.685 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 17.685 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 17.685 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.685 * [taylor]: Taking taylor expansion of -1 in y 17.685 * [taylor]: Taking taylor expansion of y in y 17.686 * [taylor]: Taking taylor expansion of 2 in y 17.686 * [taylor]: Taking taylor expansion of y in y 17.686 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 17.686 * [taylor]: Taking taylor expansion of -1 in y 17.686 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 17.686 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 17.686 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 17.686 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 17.686 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 17.686 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.686 * [taylor]: Taking taylor expansion of -1 in y 17.687 * [taylor]: Taking taylor expansion of y in y 17.687 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 17.687 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 17.687 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.687 * [taylor]: Taking taylor expansion of -1 in y 17.687 * [taylor]: Taking taylor expansion of y in y 17.688 * [taylor]: Taking taylor expansion of 2 in y 17.688 * [taylor]: Taking taylor expansion of y in y 17.718 * * * [progress]: simplifying candidates 17.719 * [simplify]: Simplifying using # : (expm1 (* (sin x) (/ (sinh y) y))) (log1p (* (sin x) (/ (sinh y) y))) (* (sin x) (/ (sinh y) y)) (+ (log (sin x)) (- (log (sinh y)) (log y))) (+ (log (sin x)) (log (/ (sinh y) y))) (log (* (sin x) (/ (sinh y) y))) (exp (* (sin x) (/ (sinh y) y))) (* (* (* (sin x) (sin x)) (sin x)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y))) (* (* (* (sin x) (sin x)) (sin x)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y))) (* (cbrt (* (sin x) (/ (sinh y) y))) (cbrt (* (sin x) (/ (sinh y) y)))) (cbrt (* (sin x) (/ (sinh y) y))) (* (* (* (sin x) (/ (sinh y) y)) (* (sin x) (/ (sinh y) y))) (* (sin x) (/ (sinh y) y))) (sqrt (* (sin x) (/ (sinh y) y))) (sqrt (* (sin x) (/ (sinh y) y))) (* (sqrt (sin x)) (sqrt (/ (sinh y) y))) (* (sqrt (sin x)) (sqrt (/ (sinh y) y))) (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt y))) (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt y))) (* (sin x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (* (sin x) (sqrt (/ (sinh y) y))) (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)) (* (sin x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (* (sin x) (/ (sqrt (sinh y)) (sqrt y))) (* (sin x) (/ (sqrt (sinh y)) 1)) (* (sin x) (/ 1 (* (cbrt y) (cbrt y)))) (* (sin x) (/ 1 (sqrt y))) (* (sin x) (/ 1 1)) (* (sin x) 1) (* (sin x) (sinh y)) (* (cbrt (sin x)) (/ (sinh y) y)) (* (sqrt (sin x)) (/ (sinh y) y)) (* (sin x) (/ (sinh y) y)) (* (sin x) (sinh y)) (expm1 (sinh y)) (log1p (sinh y)) (- (exp y) (exp (- 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)) (expm1 (/ (sinh y) y)) (log1p (/ (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)) (- (sinh y)) (- 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/6 (* x (pow y 2))) x) (* 1/6 (pow x 3))) (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (- y)) (sin x)))) y) (* -1 (/ (- (* 1/2 (* (sin x) (exp (* -1 y)))) (* 1/2 (* (sin x) (exp y)))) y)) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* 1/2 (- (exp y) (exp (- y)))) (* 1/2 (- (exp y) (exp (* -1 y)))) (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1)) (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y) (* -1 (/ (- (* 1/2 (exp (* -1 y))) (* 1/2 (exp y))) y)) 17.723 * * [simplify]: iteration 0 : 146 enodes (cost 764 ) 17.752 * * [simplify]: iteration 1 : 346 enodes (cost 716 ) 17.894 * * [simplify]: iteration 2 : 1104 enodes (cost 650 ) 19.540 * * [simplify]: iteration 3 : 4542 enodes (cost 649 ) 20.422 * * [simplify]: iteration done : 5000 enodes (cost 649 ) 20.422 * [simplify]: Simplified to: (expm1 (* (sin x) (/ (sinh y) y))) (log1p (* (sin x) (/ (sinh y) y))) (* (sin x) (/ (sinh y) y)) (log (* (sin x) (/ (sinh y) y))) (log (* (sin x) (/ (sinh y) y))) (log (* (sin x) (/ (sinh y) y))) (exp (* (sin x) (/ (sinh y) y))) (pow (* (sin x) (/ (sinh y) y)) 3) (pow (* (sin x) (/ (sinh y) y)) 3) (* (cbrt (* (sin x) (/ (sinh y) y))) (cbrt (* (sin x) (/ (sinh y) y)))) (cbrt (* (sin x) (/ (sinh y) y))) (pow (* (sin x) (/ (sinh y) y)) 3) (sqrt (* (sin x) (/ (sinh y) y))) (sqrt (* (sin x) (/ (sinh y) y))) (* (sqrt (sin x)) (sqrt (/ (sinh y) y))) (* (sqrt (sin x)) (sqrt (/ (sinh y) y))) (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt y))) (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt y))) (* (sin x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (* (sin x) (sqrt (/ (sinh y) y))) (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (* (* (cbrt (sinh y)) (cbrt (sinh y))) (sin x)) (* (sin x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (* (sin x) (/ (sqrt (sinh y)) (sqrt y))) (* (sqrt (sinh y)) (sin x)) (/ (sin x) (* (cbrt y) (cbrt y))) (/ (sin x) (sqrt y)) (sin x) (sin x) (* (sin x) (sinh y)) (* (cbrt (sin x)) (/ (sinh y) y)) (* (sqrt (sin x)) (/ (sinh y) y)) (* (sin x) (/ (sinh y) y)) (* (sin x) (sinh y)) (expm1 (sinh y)) (log1p (sinh y)) (- (exp y) (exp (- 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)) (expm1 (/ (sinh y) y)) (log1p (/ (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)) (- (sinh y)) (- 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) (fma -1/6 (pow x 3) (fma 1/6 (* x (pow y 2)) x)) (/ (* (* 1/2 (sin x)) (- (exp y) (exp (- y)))) y) (/ (* (* 1/2 (sin x)) (- (exp y) (exp (- y)))) y) (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y)) (* -1/2 (- (exp (- y)) (exp y))) (* -1/2 (- (exp (- y)) (exp y))) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) (/ (* -1/2 (- (exp (- y)) (exp y))) y) (/ (* -1/2 (- (exp (- y)) (exp y))) y) 20.423 * * * [progress]: adding candidates to table 20.616 * * [progress]: iteration 2 / 4 20.616 * * * [progress]: picking best candidate 20.622 * * * * [pick]: Picked # 20.622 * * * [progress]: localizing error 20.631 * * * [progress]: generating rewritten candidates 20.631 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 20.636 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 20.639 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 20.650 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 20.676 * * * [progress]: generating series expansions 20.676 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 20.677 * [approximate]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in (y) around 0 20.677 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y 20.677 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 20.677 * [taylor]: Taking taylor expansion of (sinh y) in y 20.677 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.677 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.677 * [taylor]: Taking taylor expansion of (exp y) in y 20.677 * [taylor]: Taking taylor expansion of y in y 20.677 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.677 * [taylor]: Taking taylor expansion of (- y) in y 20.677 * [taylor]: Taking taylor expansion of y in y 20.678 * [taylor]: Taking taylor expansion of 2 in y 20.680 * [taylor]: Taking taylor expansion of y in y 20.685 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y 20.685 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 20.685 * [taylor]: Taking taylor expansion of (sinh y) in y 20.685 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.685 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.685 * [taylor]: Taking taylor expansion of (exp y) in y 20.685 * [taylor]: Taking taylor expansion of y in y 20.685 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.685 * [taylor]: Taking taylor expansion of (- y) in y 20.685 * [taylor]: Taking taylor expansion of y in y 20.686 * [taylor]: Taking taylor expansion of 2 in y 20.689 * [taylor]: Taking taylor expansion of y in y 20.724 * [approximate]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in (y) around 0 20.724 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y 20.724 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 20.724 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 20.724 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.724 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 20.724 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.724 * [taylor]: Taking taylor expansion of y in y 20.724 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 20.725 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 20.725 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.725 * [taylor]: Taking taylor expansion of y in y 20.725 * [taylor]: Taking taylor expansion of 2 in y 20.725 * [taylor]: Taking taylor expansion of y in y 20.728 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y 20.728 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 20.728 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 20.728 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.728 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 20.728 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.728 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.728 * [taylor]: Taking taylor expansion of y in y 20.728 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 20.728 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 20.728 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.728 * [taylor]: Taking taylor expansion of y in y 20.729 * [taylor]: Taking taylor expansion of 2 in y 20.729 * [taylor]: Taking taylor expansion of y in y 20.742 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in (y) around 0 20.742 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y 20.742 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 20.742 * [taylor]: Taking taylor expansion of -1 in y 20.742 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 20.742 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 20.742 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.742 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 20.742 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 20.742 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.742 * [taylor]: Taking taylor expansion of -1 in y 20.742 * [taylor]: Taking taylor expansion of y in y 20.743 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 20.743 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 20.743 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.743 * [taylor]: Taking taylor expansion of -1 in y 20.743 * [taylor]: Taking taylor expansion of y in y 20.743 * [taylor]: Taking taylor expansion of 2 in y 20.744 * [taylor]: Taking taylor expansion of y in y 20.747 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y 20.747 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 20.747 * [taylor]: Taking taylor expansion of -1 in y 20.747 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 20.747 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 20.747 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.747 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 20.747 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 20.747 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.747 * [taylor]: Taking taylor expansion of -1 in y 20.747 * [taylor]: Taking taylor expansion of y in y 20.748 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 20.748 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 20.748 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.748 * [taylor]: Taking taylor expansion of -1 in y 20.748 * [taylor]: Taking taylor expansion of y in y 20.748 * [taylor]: Taking taylor expansion of 2 in y 20.748 * [taylor]: Taking taylor expansion of y in y 20.763 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 20.763 * [approximate]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in (y) around 0 20.763 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y 20.763 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 20.763 * [taylor]: Taking taylor expansion of (sinh y) in y 20.763 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.763 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.763 * [taylor]: Taking taylor expansion of (exp y) in y 20.763 * [taylor]: Taking taylor expansion of y in y 20.763 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.763 * [taylor]: Taking taylor expansion of (- y) in y 20.763 * [taylor]: Taking taylor expansion of y in y 20.764 * [taylor]: Taking taylor expansion of 2 in y 20.767 * [taylor]: Taking taylor expansion of y in y 20.771 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y 20.772 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 20.772 * [taylor]: Taking taylor expansion of (sinh y) in y 20.772 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.772 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.772 * [taylor]: Taking taylor expansion of (exp y) in y 20.772 * [taylor]: Taking taylor expansion of y in y 20.772 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.772 * [taylor]: Taking taylor expansion of (- y) in y 20.772 * [taylor]: Taking taylor expansion of y in y 20.772 * [taylor]: Taking taylor expansion of 2 in y 20.775 * [taylor]: Taking taylor expansion of y in y 20.809 * [approximate]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in (y) around 0 20.809 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y 20.809 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 20.809 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 20.809 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.809 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 20.809 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.809 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.809 * [taylor]: Taking taylor expansion of y in y 20.810 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 20.810 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 20.810 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.810 * [taylor]: Taking taylor expansion of y in y 20.810 * [taylor]: Taking taylor expansion of 2 in y 20.811 * [taylor]: Taking taylor expansion of y in y 20.813 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y 20.813 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 20.813 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 20.813 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.813 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 20.813 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.813 * [taylor]: Taking taylor expansion of y in y 20.814 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 20.814 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 20.814 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.814 * [taylor]: Taking taylor expansion of y in y 20.814 * [taylor]: Taking taylor expansion of 2 in y 20.815 * [taylor]: Taking taylor expansion of y in y 20.827 * [approximate]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in (y) around 0 20.827 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y 20.827 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 20.827 * [taylor]: Taking taylor expansion of -1 in y 20.827 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 20.827 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 20.827 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.828 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 20.828 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 20.828 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.828 * [taylor]: Taking taylor expansion of -1 in y 20.828 * [taylor]: Taking taylor expansion of y in y 20.828 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 20.828 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 20.828 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.828 * [taylor]: Taking taylor expansion of -1 in y 20.828 * [taylor]: Taking taylor expansion of y in y 20.829 * [taylor]: Taking taylor expansion of 2 in y 20.829 * [taylor]: Taking taylor expansion of y in y 20.832 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y 20.832 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 20.832 * [taylor]: Taking taylor expansion of -1 in y 20.832 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 20.832 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 20.832 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.832 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 20.832 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 20.832 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.832 * [taylor]: Taking taylor expansion of -1 in y 20.832 * [taylor]: Taking taylor expansion of y in y 20.833 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 20.833 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 20.833 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.833 * [taylor]: Taking taylor expansion of -1 in y 20.833 * [taylor]: Taking taylor expansion of y in y 20.833 * [taylor]: Taking taylor expansion of 2 in y 20.834 * [taylor]: Taking taylor expansion of y in y 20.848 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 20.849 * [approximate]: Taking taylor expansion of (* (sqrt (/ (sinh y) y)) (sin x)) in (x y) around 0 20.849 * [taylor]: Taking taylor expansion of (* (sqrt (/ (sinh y) y)) (sin x)) in y 20.849 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in y 20.849 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 20.849 * [taylor]: Taking taylor expansion of (sinh y) in y 20.849 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.849 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.849 * [taylor]: Taking taylor expansion of (exp y) in y 20.849 * [taylor]: Taking taylor expansion of y in y 20.849 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.849 * [taylor]: Taking taylor expansion of (- y) in y 20.849 * [taylor]: Taking taylor expansion of y in y 20.850 * [taylor]: Taking taylor expansion of 2 in y 20.852 * [taylor]: Taking taylor expansion of y in y 20.857 * [taylor]: Taking taylor expansion of (sin x) in y 20.857 * [taylor]: Taking taylor expansion of x in y 20.857 * [taylor]: Taking taylor expansion of (* (sqrt (/ (sinh y) y)) (sin x)) in x 20.857 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in x 20.857 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in x 20.857 * [taylor]: Taking taylor expansion of (sinh y) in x 20.857 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.857 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 20.857 * [taylor]: Taking taylor expansion of (exp y) in x 20.857 * [taylor]: Taking taylor expansion of y in x 20.857 * [taylor]: Taking taylor expansion of (exp (- y)) in x 20.857 * [taylor]: Taking taylor expansion of (- y) in x 20.857 * [taylor]: Taking taylor expansion of y in x 20.857 * [taylor]: Taking taylor expansion of 2 in x 20.858 * [taylor]: Taking taylor expansion of y in x 20.861 * [taylor]: Taking taylor expansion of (sin x) in x 20.861 * [taylor]: Taking taylor expansion of x in x 20.861 * [taylor]: Taking taylor expansion of (* (sqrt (/ (sinh y) y)) (sin x)) in x 20.861 * [taylor]: Taking taylor expansion of (sqrt (/ (sinh y) y)) in x 20.861 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in x 20.861 * [taylor]: Taking taylor expansion of (sinh y) in x 20.861 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 20.861 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 20.861 * [taylor]: Taking taylor expansion of (exp y) in x 20.861 * [taylor]: Taking taylor expansion of y in x 20.861 * [taylor]: Taking taylor expansion of (exp (- y)) in x 20.861 * [taylor]: Taking taylor expansion of (- y) in x 20.861 * [taylor]: Taking taylor expansion of y in x 20.861 * [taylor]: Taking taylor expansion of 2 in x 20.861 * [taylor]: Taking taylor expansion of y in x 20.864 * [taylor]: Taking taylor expansion of (sin x) in x 20.864 * [taylor]: Taking taylor expansion of x in x 20.865 * [taylor]: Taking taylor expansion of 0 in y 20.866 * [taylor]: Taking taylor expansion of (* (sqrt (/ (- (exp y) (exp (- y))) y)) (sqrt 1/2)) in y 20.866 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp y) (exp (- y))) y)) in y 20.866 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y 20.866 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.866 * [taylor]: Taking taylor expansion of (exp y) in y 20.866 * [taylor]: Taking taylor expansion of y in y 20.866 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.866 * [taylor]: Taking taylor expansion of (- y) in y 20.866 * [taylor]: Taking taylor expansion of y in y 20.867 * [taylor]: Taking taylor expansion of y in y 20.873 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 20.873 * [taylor]: Taking taylor expansion of 1/2 in y 20.881 * [taylor]: Taking taylor expansion of 0 in y 20.893 * [taylor]: Taking taylor expansion of (- (* 1/6 (* (sqrt (/ (- (exp y) (exp (- y))) y)) (sqrt 1/2)))) in y 20.893 * [taylor]: Taking taylor expansion of (* 1/6 (* (sqrt (/ (- (exp y) (exp (- y))) y)) (sqrt 1/2))) in y 20.893 * [taylor]: Taking taylor expansion of 1/6 in y 20.893 * [taylor]: Taking taylor expansion of (* (sqrt (/ (- (exp y) (exp (- y))) y)) (sqrt 1/2)) in y 20.893 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp y) (exp (- y))) y)) in y 20.893 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y 20.893 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 20.893 * [taylor]: Taking taylor expansion of (exp y) in y 20.893 * [taylor]: Taking taylor expansion of y in y 20.893 * [taylor]: Taking taylor expansion of (exp (- y)) in y 20.893 * [taylor]: Taking taylor expansion of (- y) in y 20.893 * [taylor]: Taking taylor expansion of y in y 20.894 * [taylor]: Taking taylor expansion of y in y 20.900 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 20.901 * [taylor]: Taking taylor expansion of 1/2 in y 20.924 * [approximate]: Taking taylor expansion of (* (sqrt (* (sinh (/ 1 y)) y)) (sin (/ 1 x))) in (x y) around 0 20.924 * [taylor]: Taking taylor expansion of (* (sqrt (* (sinh (/ 1 y)) y)) (sin (/ 1 x))) in y 20.924 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in y 20.924 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 20.924 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 20.925 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.925 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 20.925 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.925 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.925 * [taylor]: Taking taylor expansion of y in y 20.925 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 20.925 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 20.925 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.925 * [taylor]: Taking taylor expansion of y in y 20.926 * [taylor]: Taking taylor expansion of 2 in y 20.926 * [taylor]: Taking taylor expansion of y in y 20.928 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 20.928 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.928 * [taylor]: Taking taylor expansion of x in y 20.929 * [taylor]: Taking taylor expansion of (* (sqrt (* (sinh (/ 1 y)) y)) (sin (/ 1 x))) in x 20.929 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in x 20.929 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in x 20.929 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 20.929 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.929 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 20.929 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 20.929 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.929 * [taylor]: Taking taylor expansion of y in x 20.929 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 20.929 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 20.929 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.929 * [taylor]: Taking taylor expansion of y in x 20.929 * [taylor]: Taking taylor expansion of 2 in x 20.929 * [taylor]: Taking taylor expansion of y in x 20.932 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 20.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.933 * [taylor]: Taking taylor expansion of x in x 20.933 * [taylor]: Taking taylor expansion of (* (sqrt (* (sinh (/ 1 y)) y)) (sin (/ 1 x))) in x 20.933 * [taylor]: Taking taylor expansion of (sqrt (* (sinh (/ 1 y)) y)) in x 20.933 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in x 20.933 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 20.933 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 20.933 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 20.933 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 20.933 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.933 * [taylor]: Taking taylor expansion of y in x 20.933 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 20.933 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 20.933 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.933 * [taylor]: Taking taylor expansion of y in x 20.933 * [taylor]: Taking taylor expansion of 2 in x 20.934 * [taylor]: Taking taylor expansion of y in x 20.937 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 20.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.937 * [taylor]: Taking taylor expansion of x in x 20.938 * [taylor]: Taking taylor expansion of (* (* (sqrt 1/2) (sin (/ 1 x))) (sqrt (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y 20.938 * [taylor]: Taking taylor expansion of (* (sqrt 1/2) (sin (/ 1 x))) in y 20.938 * [taylor]: Taking taylor expansion of (sqrt 1/2) in y 20.938 * [taylor]: Taking taylor expansion of 1/2 in y 20.939 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 20.939 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.939 * [taylor]: Taking taylor expansion of x in y 20.939 * [taylor]: Taking taylor expansion of (sqrt (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y 20.939 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y 20.939 * [taylor]: Taking taylor expansion of y in y 20.939 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 20.939 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 20.939 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.939 * [taylor]: Taking taylor expansion of y in y 20.939 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 20.939 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 20.939 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.939 * [taylor]: Taking taylor expansion of y in y 20.943 * [taylor]: Taking taylor expansion of 0 in y 20.952 * [taylor]: Taking taylor expansion of 0 in y 20.969 * [taylor]: Taking taylor expansion of 0 in y 20.992 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in (x y) around 0 20.992 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in y 20.992 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 20.992 * [taylor]: Taking taylor expansion of (/ -1 x) in y 20.992 * [taylor]: Taking taylor expansion of -1 in y 20.992 * [taylor]: Taking taylor expansion of x in y 20.992 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y 20.993 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 20.993 * [taylor]: Taking taylor expansion of -1 in y 20.993 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 20.993 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 20.993 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.993 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 20.993 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 20.993 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.993 * [taylor]: Taking taylor expansion of -1 in y 20.993 * [taylor]: Taking taylor expansion of y in y 20.993 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 20.993 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 20.993 * [taylor]: Taking taylor expansion of (/ -1 y) in y 20.993 * [taylor]: Taking taylor expansion of -1 in y 20.993 * [taylor]: Taking taylor expansion of y in y 20.994 * [taylor]: Taking taylor expansion of 2 in y 20.994 * [taylor]: Taking taylor expansion of y in y 20.997 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in x 20.997 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 20.997 * [taylor]: Taking taylor expansion of (/ -1 x) in x 20.997 * [taylor]: Taking taylor expansion of -1 in x 20.998 * [taylor]: Taking taylor expansion of x in x 20.998 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x 20.998 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x 20.998 * [taylor]: Taking taylor expansion of -1 in x 20.998 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x 20.998 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 20.998 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 20.998 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 20.998 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 20.998 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.998 * [taylor]: Taking taylor expansion of -1 in x 20.998 * [taylor]: Taking taylor expansion of y in x 20.998 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 20.998 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 20.998 * [taylor]: Taking taylor expansion of (/ -1 y) in x 20.998 * [taylor]: Taking taylor expansion of -1 in x 20.998 * [taylor]: Taking taylor expansion of y in x 20.998 * [taylor]: Taking taylor expansion of 2 in x 20.999 * [taylor]: Taking taylor expansion of y in x 21.002 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1 (* (sinh (/ -1 y)) y)))) in x 21.002 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 21.002 * [taylor]: Taking taylor expansion of (/ -1 x) in x 21.002 * [taylor]: Taking taylor expansion of -1 in x 21.002 * [taylor]: Taking taylor expansion of x in x 21.003 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x 21.003 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x 21.003 * [taylor]: Taking taylor expansion of -1 in x 21.003 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x 21.003 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 21.003 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.003 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 21.003 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 21.003 * [taylor]: Taking taylor expansion of (/ -1 y) in x 21.003 * [taylor]: Taking taylor expansion of -1 in x 21.003 * [taylor]: Taking taylor expansion of y in x 21.003 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 21.003 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 21.003 * [taylor]: Taking taylor expansion of (/ -1 y) in x 21.003 * [taylor]: Taking taylor expansion of -1 in x 21.003 * [taylor]: Taking taylor expansion of y in x 21.003 * [taylor]: Taking taylor expansion of 2 in x 21.003 * [taylor]: Taking taylor expansion of y in x 21.007 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)))) in y 21.007 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 21.007 * [taylor]: Taking taylor expansion of (/ -1 x) in y 21.007 * [taylor]: Taking taylor expansion of -1 in y 21.007 * [taylor]: Taking taylor expansion of x in y 21.007 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y 21.008 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y 21.008 * [taylor]: Taking taylor expansion of -1/2 in y 21.008 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y 21.008 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 21.008 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.008 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.008 * [taylor]: Taking taylor expansion of -1 in y 21.008 * [taylor]: Taking taylor expansion of y in y 21.008 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.008 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.008 * [taylor]: Taking taylor expansion of y in y 21.008 * [taylor]: Taking taylor expansion of y in y 21.011 * [taylor]: Taking taylor expansion of 0 in y 21.020 * [taylor]: Taking taylor expansion of 0 in y 21.034 * [taylor]: Taking taylor expansion of 0 in y 21.047 * * * * [progress]: [ 4 / 4 ] generating series at (2) 21.047 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in (x y) around 0 21.047 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in y 21.047 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y 21.047 * [taylor]: Taking taylor expansion of (sin x) in y 21.047 * [taylor]: Taking taylor expansion of x in y 21.047 * [taylor]: Taking taylor expansion of (sinh y) in y 21.048 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.048 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 21.048 * [taylor]: Taking taylor expansion of (exp y) in y 21.048 * [taylor]: Taking taylor expansion of y in y 21.048 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.048 * [taylor]: Taking taylor expansion of (- y) in y 21.048 * [taylor]: Taking taylor expansion of y in y 21.048 * [taylor]: Taking taylor expansion of 2 in y 21.051 * [taylor]: Taking taylor expansion of y in y 21.051 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x 21.051 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 21.051 * [taylor]: Taking taylor expansion of (sin x) in x 21.051 * [taylor]: Taking taylor expansion of x in x 21.051 * [taylor]: Taking taylor expansion of (sinh y) in x 21.051 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.051 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 21.051 * [taylor]: Taking taylor expansion of (exp y) in x 21.051 * [taylor]: Taking taylor expansion of y in x 21.052 * [taylor]: Taking taylor expansion of (exp (- y)) in x 21.052 * [taylor]: Taking taylor expansion of (- y) in x 21.052 * [taylor]: Taking taylor expansion of y in x 21.052 * [taylor]: Taking taylor expansion of 2 in x 21.052 * [taylor]: Taking taylor expansion of y in x 21.055 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x 21.055 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 21.055 * [taylor]: Taking taylor expansion of (sin x) in x 21.055 * [taylor]: Taking taylor expansion of x in x 21.055 * [taylor]: Taking taylor expansion of (sinh y) in x 21.055 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 21.055 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 21.055 * [taylor]: Taking taylor expansion of (exp y) in x 21.055 * [taylor]: Taking taylor expansion of y in x 21.056 * [taylor]: Taking taylor expansion of (exp (- y)) in x 21.056 * [taylor]: Taking taylor expansion of (- y) in x 21.056 * [taylor]: Taking taylor expansion of y in x 21.056 * [taylor]: Taking taylor expansion of 2 in x 21.056 * [taylor]: Taking taylor expansion of y in x 21.059 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y) in y 21.059 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y 21.059 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y 21.059 * [taylor]: Taking taylor expansion of 1/2 in y 21.059 * [taylor]: Taking taylor expansion of (exp y) in y 21.059 * [taylor]: Taking taylor expansion of y in y 21.059 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y 21.059 * [taylor]: Taking taylor expansion of 1/2 in y 21.059 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.059 * [taylor]: Taking taylor expansion of (- y) in y 21.059 * [taylor]: Taking taylor expansion of y in y 21.060 * [taylor]: Taking taylor expansion of y in y 21.069 * [taylor]: Taking taylor expansion of 0 in y 21.084 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (exp (- y)) y)) (* 1/12 (/ (exp y) y))) in y 21.084 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp (- y)) y)) in y 21.084 * [taylor]: Taking taylor expansion of 1/12 in y 21.084 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y 21.084 * [taylor]: Taking taylor expansion of (exp (- y)) in y 21.084 * [taylor]: Taking taylor expansion of (- y) in y 21.084 * [taylor]: Taking taylor expansion of y in y 21.085 * [taylor]: Taking taylor expansion of y in y 21.085 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp y) y)) in y 21.085 * [taylor]: Taking taylor expansion of 1/12 in y 21.085 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 21.085 * [taylor]: Taking taylor expansion of (exp y) in y 21.085 * [taylor]: Taking taylor expansion of y in y 21.085 * [taylor]: Taking taylor expansion of y in y 21.096 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in (x y) around 0 21.096 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in y 21.096 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 21.096 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.096 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.096 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.096 * [taylor]: Taking taylor expansion of y in y 21.097 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.097 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.097 * [taylor]: Taking taylor expansion of y in y 21.098 * [taylor]: Taking taylor expansion of 2 in y 21.098 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y 21.098 * [taylor]: Taking taylor expansion of y in y 21.098 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 21.098 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.098 * [taylor]: Taking taylor expansion of x in y 21.098 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x 21.098 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 21.098 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.098 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 21.098 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 21.098 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.098 * [taylor]: Taking taylor expansion of y in x 21.098 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 21.098 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 21.098 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.098 * [taylor]: Taking taylor expansion of y in x 21.098 * [taylor]: Taking taylor expansion of 2 in x 21.099 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x 21.099 * [taylor]: Taking taylor expansion of y in x 21.099 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 21.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.099 * [taylor]: Taking taylor expansion of x in x 21.099 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x 21.099 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 21.099 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 21.099 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 21.099 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 21.099 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.099 * [taylor]: Taking taylor expansion of y in x 21.099 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 21.100 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 21.100 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.100 * [taylor]: Taking taylor expansion of y in x 21.100 * [taylor]: Taking taylor expansion of 2 in x 21.100 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x 21.100 * [taylor]: Taking taylor expansion of y in x 21.100 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 21.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.100 * [taylor]: Taking taylor expansion of x in x 21.101 * [taylor]: Taking taylor expansion of (* 1/2 (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y 21.101 * [taylor]: Taking taylor expansion of 1/2 in y 21.101 * [taylor]: Taking taylor expansion of (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y 21.101 * [taylor]: Taking taylor expansion of y in y 21.101 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y 21.101 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 21.101 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.101 * [taylor]: Taking taylor expansion of x in y 21.101 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 21.101 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.101 * [taylor]: Taking taylor expansion of y in y 21.101 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 21.101 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 21.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.102 * [taylor]: Taking taylor expansion of y in y 21.106 * [taylor]: Taking taylor expansion of 0 in y 21.114 * [taylor]: Taking taylor expansion of 0 in y 21.125 * [taylor]: Taking taylor expansion of 0 in y 21.126 * [approximate]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in (x y) around 0 21.126 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in y 21.126 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 21.126 * [taylor]: Taking taylor expansion of (/ -1 x) in y 21.126 * [taylor]: Taking taylor expansion of -1 in y 21.126 * [taylor]: Taking taylor expansion of x in y 21.126 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2) in y 21.126 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in y 21.126 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 21.126 * [taylor]: Taking taylor expansion of -1 in y 21.126 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 21.126 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 21.126 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.126 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 21.126 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.126 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.126 * [taylor]: Taking taylor expansion of -1 in y 21.126 * [taylor]: Taking taylor expansion of y in y 21.127 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 21.127 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 21.127 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.127 * [taylor]: Taking taylor expansion of -1 in y 21.127 * [taylor]: Taking taylor expansion of y in y 21.128 * [taylor]: Taking taylor expansion of 2 in y 21.128 * [taylor]: Taking taylor expansion of y in y 21.131 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in x 21.131 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 21.131 * [taylor]: Taking taylor expansion of (/ -1 x) in x 21.131 * [taylor]: Taking taylor expansion of -1 in x 21.131 * [taylor]: Taking taylor expansion of x in x 21.131 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2) in x 21.131 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x 21.131 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x 21.131 * [taylor]: Taking taylor expansion of -1 in x 21.131 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x 21.131 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 21.132 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.132 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 21.132 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 21.132 * [taylor]: Taking taylor expansion of (/ -1 y) in x 21.132 * [taylor]: Taking taylor expansion of -1 in x 21.132 * [taylor]: Taking taylor expansion of y in x 21.132 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 21.132 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 21.132 * [taylor]: Taking taylor expansion of (/ -1 y) in x 21.132 * [taylor]: Taking taylor expansion of -1 in x 21.132 * [taylor]: Taking taylor expansion of y in x 21.132 * [taylor]: Taking taylor expansion of 2 in x 21.132 * [taylor]: Taking taylor expansion of y in x 21.136 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2)) in x 21.136 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 21.136 * [taylor]: Taking taylor expansion of (/ -1 x) in x 21.136 * [taylor]: Taking taylor expansion of -1 in x 21.136 * [taylor]: Taking taylor expansion of x in x 21.136 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (* (sinh (/ -1 y)) y))) 2) in x 21.136 * [taylor]: Taking taylor expansion of (sqrt (* -1 (* (sinh (/ -1 y)) y))) in x 21.136 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in x 21.136 * [taylor]: Taking taylor expansion of -1 in x 21.136 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in x 21.136 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 21.136 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 21.136 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 21.137 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 21.137 * [taylor]: Taking taylor expansion of (/ -1 y) in x 21.137 * [taylor]: Taking taylor expansion of -1 in x 21.137 * [taylor]: Taking taylor expansion of y in x 21.137 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 21.137 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 21.137 * [taylor]: Taking taylor expansion of (/ -1 y) in x 21.137 * [taylor]: Taking taylor expansion of -1 in x 21.137 * [taylor]: Taking taylor expansion of y in x 21.137 * [taylor]: Taking taylor expansion of 2 in x 21.137 * [taylor]: Taking taylor expansion of y in x 21.141 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (pow (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) 2)) in y 21.141 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 21.141 * [taylor]: Taking taylor expansion of (/ -1 x) in y 21.141 * [taylor]: Taking taylor expansion of -1 in y 21.141 * [taylor]: Taking taylor expansion of x in y 21.141 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) 2) in y 21.141 * [taylor]: Taking taylor expansion of (sqrt (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y 21.141 * [taylor]: Taking taylor expansion of (* -1/2 (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y 21.141 * [taylor]: Taking taylor expansion of -1/2 in y 21.141 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y 21.141 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 21.141 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 21.141 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.142 * [taylor]: Taking taylor expansion of -1 in y 21.142 * [taylor]: Taking taylor expansion of y in y 21.142 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 21.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.142 * [taylor]: Taking taylor expansion of y in y 21.142 * [taylor]: Taking taylor expansion of y in y 21.146 * [taylor]: Taking taylor expansion of 0 in y 21.161 * [taylor]: Taking taylor expansion of 0 in y 21.184 * * * [progress]: simplifying candidates 21.186 * [simplify]: Simplifying using # : (expm1 (sqrt (/ (sinh y) y))) (log1p (sqrt (/ (sinh y) y))) (log (sqrt (/ (sinh y) y))) (exp (sqrt (/ (sinh y) y))) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))) (cbrt (sqrt (/ (sinh y) y))) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))) (sqrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (sqrt (cbrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (sqrt (/ (cbrt (sinh y)) (cbrt y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (sqrt (/ (cbrt (sinh y)) (sqrt y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)) (sqrt (/ (cbrt (sinh y)) y)) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (sqrt (/ (sqrt (sinh y)) (cbrt y))) (sqrt (/ (sqrt (sinh y)) (sqrt y))) (sqrt (/ (sqrt (sinh y)) (sqrt y))) (sqrt (/ (sqrt (sinh y)) 1)) (sqrt (/ (sqrt (sinh y)) y)) (sqrt (/ 1 (* (cbrt y) (cbrt y)))) (sqrt (/ (sinh y) (cbrt y))) (sqrt (/ 1 (sqrt y))) (sqrt (/ (sinh y) (sqrt y))) (sqrt (/ 1 1)) (sqrt (/ (sinh y) y)) (sqrt 1) (sqrt (/ (sinh y) y)) (sqrt (sinh y)) (sqrt (/ 1 y)) (sqrt (sinh y)) (sqrt y) (/ 1 2) (sqrt (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))) (expm1 (sqrt (/ (sinh y) y))) (log1p (sqrt (/ (sinh y) y))) (log (sqrt (/ (sinh y) y))) (exp (sqrt (/ (sinh y) y))) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))) (cbrt (sqrt (/ (sinh y) y))) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))) (sqrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y)))) (sqrt (cbrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y)))) (sqrt (/ (cbrt (sinh y)) (cbrt y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (sqrt (/ (cbrt (sinh y)) (sqrt y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)) (sqrt (/ (cbrt (sinh y)) y)) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (sqrt (/ (sqrt (sinh y)) (cbrt y))) (sqrt (/ (sqrt (sinh y)) (sqrt y))) (sqrt (/ (sqrt (sinh y)) (sqrt y))) (sqrt (/ (sqrt (sinh y)) 1)) (sqrt (/ (sqrt (sinh y)) y)) (sqrt (/ 1 (* (cbrt y) (cbrt y)))) (sqrt (/ (sinh y) (cbrt y))) (sqrt (/ 1 (sqrt y))) (sqrt (/ (sinh y) (sqrt y))) (sqrt (/ 1 1)) (sqrt (/ (sinh y) y)) (sqrt 1) (sqrt (/ (sinh y) y)) (sqrt (sinh y)) (sqrt (/ 1 y)) (sqrt (sinh y)) (sqrt y) (/ 1 2) (sqrt (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))) (expm1 (* (sin x) (sqrt (/ (sinh y) y)))) (log1p (* (sin x) (sqrt (/ (sinh y) y)))) (* (sin x) (sqrt (/ (sinh y) y))) (+ (log (sin x)) (log (sqrt (/ (sinh y) y)))) (log (* (sin x) (sqrt (/ (sinh y) y)))) (exp (* (sin x) (sqrt (/ (sinh y) y)))) (* (* (* (sin x) (sin x)) (sin x)) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (cbrt (* (sin x) (sqrt (/ (sinh y) y)))) (cbrt (* (sin x) (sqrt (/ (sinh y) y))))) (cbrt (* (sin x) (sqrt (/ (sinh y) y)))) (* (* (* (sin x) (sqrt (/ (sinh y) y))) (* (sin x) (sqrt (/ (sinh y) y)))) (* (sin x) (sqrt (/ (sinh y) y)))) (sqrt (* (sin x) (sqrt (/ (sinh y) y)))) (sqrt (* (sin x) (sqrt (/ (sinh y) y)))) (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y)))) (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y)))) (* (sqrt (sin x)) (sqrt (/ (sqrt (sinh y)) (sqrt y)))) (* (sqrt (sin x)) (sqrt (/ (sqrt (sinh y)) (sqrt y)))) (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y)))) (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y)))) (* (sin x) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))))) (* (sin x) (sqrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))) (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (* (sin x) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))) (* (sin x) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))) (* (sin x) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1))) (* (sin x) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))) (* (sin x) (sqrt (/ (sqrt (sinh y)) (sqrt y)))) (* (sin x) (sqrt (/ (sqrt (sinh y)) 1))) (* (sin x) (sqrt (/ 1 (* (cbrt y) (cbrt y))))) (* (sin x) (sqrt (/ 1 (sqrt y)))) (* (sin x) (sqrt (/ 1 1))) (* (sin x) (sqrt 1)) (* (sin x) (sqrt (sinh y))) (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (* (sin x) 1) (* (cbrt (sin x)) (sqrt (/ (sinh y) y))) (* (sqrt (sin x)) (sqrt (/ (sinh y) y))) (* (sin x) (sqrt (/ (sinh y) y))) (* (sin x) (sqrt (sinh y))) (expm1 (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (log1p (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))) (+ (+ (log (sin x)) (log (sqrt (/ (sinh y) y)))) (log (sqrt (/ (sinh y) y)))) (+ (log (* (sin x) (sqrt (/ (sinh y) y)))) (log (sqrt (/ (sinh y) y)))) (log (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (exp (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (* (* (* (sin x) (sin x)) (sin x)) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (* (* (* (sin x) (sqrt (/ (sinh y) y))) (* (sin x) (sqrt (/ (sinh y) y)))) (* (sin x) (sqrt (/ (sinh y) y)))) (* (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (cbrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (cbrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))))) (cbrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (* (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (sqrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (sqrt (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))) (* (* (sin x) (sqrt (sinh y))) (sqrt (sinh y))) (* (sqrt y) (sqrt y)) (* (* (sin x) (sqrt (/ (sinh y) y))) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y)))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) (sqrt y)))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) 1))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 (* (cbrt y) (cbrt y))))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 (sqrt y)))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 1))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt 1)) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sinh y))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y)))) (* (* (sin x) (sqrt (/ (sinh y) y))) 1) (* (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sinh y))) (* (* (sin x) (sqrt (sinh y))) (sqrt (/ (sinh y) y))) (+ (* 1/12 (pow y 2)) (+ (* 1/1440 (pow y 4)) 1)) (- (+ (* +nan.0 (/ (* (pow (exp (- y)) 2) (exp y)) (pow y 3))) (- (+ (* +nan.0 (/ (* (exp (- y)) (exp y)) (pow y 2))) (- (+ (* +nan.0 (/ (exp (- y)) y)) (- (+ (* +nan.0 (/ (pow (exp y) 3) (pow y 3))) (- (+ (* +nan.0 (/ (pow (exp y) 2) (pow y 2))) (- (+ (* +nan.0 (/ (* (exp (- y)) (pow (exp y) 2)) (pow y 3))) (- (+ (* +nan.0 (/ (pow (exp (- y)) 3) (pow y 3))) (- (+ (* +nan.0 (/ (pow (exp (- y)) 2) (pow y 2))) (- (* +nan.0 (/ (exp y) y))))))))))))))))))) (- (+ (* +nan.0 (/ (pow (exp (* -1 y)) 3) (pow y 3))) (- (+ (* +nan.0 (/ (pow (exp y) 3) (pow y 3))) (- (+ (* +nan.0 (/ (exp (* -1 y)) y)) (- (+ (* +nan.0 (/ (pow (exp y) 2) (pow y 2))) (- (+ (* +nan.0 (/ (pow (exp (* -1 y)) 2) (pow y 2))) (- (+ (* +nan.0 (/ (* (exp y) (exp (* -1 y))) (pow y 2))) (- (+ (* +nan.0 (/ (* (exp y) (pow (exp (* -1 y)) 2)) (pow y 3))) (- (+ (* +nan.0 (/ (* (pow (exp y) 2) (exp (* -1 y))) (pow y 3))) (- (* +nan.0 (/ (exp y) y))))))))))))))))))) (+ (* 1/12 (pow y 2)) (+ (* 1/1440 (pow y 4)) 1)) (- (+ (* +nan.0 (/ (* (pow (exp (- y)) 2) (exp y)) (pow y 3))) (- (+ (* +nan.0 (/ (* (exp (- y)) (exp y)) (pow y 2))) (- (+ (* +nan.0 (/ (exp (- y)) y)) (- (+ (* +nan.0 (/ (pow (exp y) 3) (pow y 3))) (- (+ (* +nan.0 (/ (pow (exp y) 2) (pow y 2))) (- (+ (* +nan.0 (/ (* (exp (- y)) (pow (exp y) 2)) (pow y 3))) (- (+ (* +nan.0 (/ (pow (exp (- y)) 3) (pow y 3))) (- (+ (* +nan.0 (/ (pow (exp (- y)) 2) (pow y 2))) (- (* +nan.0 (/ (exp y) y))))))))))))))))))) (- (+ (* +nan.0 (/ (pow (exp (* -1 y)) 3) (pow y 3))) (- (+ (* +nan.0 (/ (pow (exp y) 3) (pow y 3))) (- (+ (* +nan.0 (/ (exp (* -1 y)) y)) (- (+ (* +nan.0 (/ (pow (exp y) 2) (pow y 2))) (- (+ (* +nan.0 (/ (pow (exp (* -1 y)) 2) (pow y 2))) (- (+ (* +nan.0 (/ (* (exp y) (exp (* -1 y))) (pow y 2))) (- (+ (* +nan.0 (/ (* (exp y) (pow (exp (* -1 y)) 2)) (pow y 3))) (- (+ (* +nan.0 (/ (* (pow (exp y) 2) (exp (* -1 y))) (pow y 3))) (- (* +nan.0 (/ (exp y) y))))))))))))))))))) (- (+ (* 1/6 (/ (* x (* (sqrt 1/2) (pow y 2))) (sqrt 2))) (* x (* (sqrt 2) (sqrt 1/2)))) (* 1/6 (* (pow x 3) (* (sqrt 2) (sqrt 1/2))))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (sqrt 1/2))) y)) (- (+ (* +nan.0 (/ (* (sin x) (* (pow (exp y) 2) (sqrt 1/2))) (pow y 2))) (- (+ (* +nan.0 (/ (* (pow (exp (- y)) 2) (* (sin x) (sqrt 1/2))) (pow y 2))) (- (+ (* +nan.0 (/ (* (exp (- y)) (* (sin x) (* (exp y) (sqrt 1/2)))) (pow y 2))) (- (+ (* +nan.0 (/ (* (exp (- y)) (* (sin x) (sqrt 1/2))) y)) (- (+ (* +nan.0 (/ (* (pow (exp (- y)) 3) (* (sin x) (sqrt 1/2))) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (* (pow (exp y) 3) (sqrt 1/2))) (pow y 3))) (- (+ (* +nan.0 (/ (* (exp (- y)) (* (sin x) (* (pow (exp y) 2) (sqrt 1/2)))) (pow y 3))) (- (* +nan.0 (/ (* (pow (exp (- y)) 2) (* (sin x) (* (exp y) (sqrt 1/2)))) (pow y 3)))))))))))))))))))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 2)) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (pow (exp (* -1 y)) 2))) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (exp (* -1 y)))) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (exp (* -1 y))) y)) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 3)) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (exp y)) y)) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 2)) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 3)) (pow y 3))) (- (* +nan.0 (/ (* (sin x) (* (pow (exp y) 2) (exp (* -1 y)))) (pow y 3)))))))))))))))))))) (- (+ (* 1/6 (* x (pow y 2))) x) (* 1/6 (pow x 3))) (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (- y)) (sin x)))) y) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 4)) (pow y 4))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 2)) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (pow (exp (* -1 y)) 2))) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (* (pow (exp y) 2) (pow (exp (* -1 y)) 2))) (pow y 4))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 4)) (pow y 4))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 2)) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp y) 3)) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (pow (exp (* -1 y)) 3)) (pow y 3))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (exp (* -1 y)))) (pow y 2))) (- (+ (* +nan.0 (/ (* (sin x) (* (exp y) (pow (exp (* -1 y)) 3))) (pow y 4))) (- (+ (* +nan.0 (/ (* (sin x) (* (pow (exp y) 3) (exp (* -1 y)))) (pow y 4))) (- (* +nan.0 (/ (* (sin x) (* (pow (exp y) 2) (exp (* -1 y)))) (pow y 3)))))))))))))))))))))))))) 21.210 * * [simplify]: iteration 0 : 383 enodes (cost 2643 ) 21.339 * * [simplify]: iteration 1 : 1106 enodes (cost 2288 ) 21.969 * * [simplify]: iteration 2 : 4316 enodes (cost 2017 ) 22.826 * * [simplify]: iteration done : 5000 enodes (cost 2017 ) 22.827 * [simplify]: Simplified to: (expm1 (sqrt (/ (sinh y) y))) (log1p (sqrt (/ (sinh y) y))) (log (sqrt (/ (sinh y) y))) (exp (sqrt (/ (sinh y) y))) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))) (cbrt (sqrt (/ (sinh y) y))) (pow (sqrt (/ (sinh y) y)) 3) (fabs (cbrt (/ (sinh y) y))) (sqrt (cbrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))) (fabs (/ (cbrt (sinh y)) (cbrt y))) (sqrt (/ (cbrt (sinh y)) (cbrt y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (sqrt (/ (cbrt (sinh y)) (sqrt y))) (fabs (cbrt (sinh y))) (sqrt (/ (cbrt (sinh y)) y)) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (sqrt (/ (sqrt (sinh y)) (cbrt y))) (sqrt (/ (sqrt (sinh y)) (sqrt y))) (sqrt (/ (sqrt (sinh y)) (sqrt y))) (sqrt (sqrt (sinh y))) (sqrt (/ (sqrt (sinh y)) y)) (sqrt (/ 1 (* (cbrt y) (cbrt y)))) (sqrt (/ (sinh y) (cbrt y))) (sqrt (/ 1 (sqrt y))) (sqrt (/ (sinh y) (sqrt y))) 1 (sqrt (/ (sinh y) y)) 1 (sqrt (/ (sinh y) y)) (sqrt (sinh y)) (sqrt (/ 1 y)) (sqrt (sinh y)) (sqrt y) 1/2 (sqrt (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))) (expm1 (sqrt (/ (sinh y) y))) (log1p (sqrt (/ (sinh y) y))) (log (sqrt (/ (sinh y) y))) (exp (sqrt (/ (sinh y) y))) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))) (cbrt (sqrt (/ (sinh y) y))) (pow (sqrt (/ (sinh y) y)) 3) (fabs (cbrt (/ (sinh y) y))) (sqrt (cbrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))) (fabs (/ (cbrt (sinh y)) (cbrt y))) (sqrt (/ (cbrt (sinh y)) (cbrt y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y))) (sqrt (/ (cbrt (sinh y)) (sqrt y))) (fabs (cbrt (sinh y))) (sqrt (/ (cbrt (sinh y)) y)) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y)))) (sqrt (/ (sqrt (sinh y)) (cbrt y))) (sqrt (/ (sqrt (sinh y)) (sqrt y))) (sqrt (/ (sqrt (sinh y)) (sqrt y))) (sqrt (sqrt (sinh y))) (sqrt (/ (sqrt (sinh y)) y)) (sqrt (/ 1 (* (cbrt y) (cbrt y)))) (sqrt (/ (sinh y) (cbrt y))) (sqrt (/ 1 (sqrt y))) (sqrt (/ (sinh y) (sqrt y))) 1 (sqrt (/ (sinh y) y)) 1 (sqrt (/ (sinh y) y)) (sqrt (sinh y)) (sqrt (/ 1 y)) (sqrt (sinh y)) (sqrt y) 1/2 (sqrt (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))) (expm1 (* (sin x) (sqrt (/ (sinh y) y)))) (log1p (* (sin x) (sqrt (/ (sinh y) y)))) (* (sin x) (sqrt (/ (sinh y) y))) (log (* (sin x) (sqrt (/ (sinh y) y)))) (log (* (sin x) (sqrt (/ (sinh y) y)))) (exp (* (sin x) (sqrt (/ (sinh y) y)))) (pow (* (sin x) (sqrt (/ (sinh y) y))) 3) (* (cbrt (* (sin x) (sqrt (/ (sinh y) y)))) (cbrt (* (sin x) (sqrt (/ (sinh y) y))))) (cbrt (* (sin x) (sqrt (/ (sinh y) y)))) (pow (* (sin x) (sqrt (/ (sinh y) y))) 3) (sqrt (* (sin x) (sqrt (/ (sinh y) y)))) (sqrt (* (sin x) (sqrt (/ (sinh y) y)))) (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y)))) (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y)))) (* (sqrt (sin x)) (sqrt (/ (sqrt (sinh y)) (sqrt y)))) (* (sqrt (sin x)) (sqrt (/ (sqrt (sinh y)) (sqrt y)))) (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y)))) (* (sqrt (sin x)) (sqrt (sqrt (/ (sinh y) y)))) (* (sin x) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))))) (* (sin x) (fabs (cbrt (/ (sinh y) y)))) (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (* (sin x) (fabs (/ (cbrt (sinh y)) (cbrt y)))) (* (sin x) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))) (* (sin x) (fabs (cbrt (sinh y)))) (* (sin x) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))) (* (sin x) (sqrt (/ (sqrt (sinh y)) (sqrt y)))) (* (sqrt (sqrt (sinh y))) (sin x)) (* (sin x) (sqrt (/ 1 (* (cbrt y) (cbrt y))))) (* (sin x) (sqrt (/ 1 (sqrt y)))) (sin x) (sin x) (* (sin x) (sqrt (sinh y))) (* (sin x) (sqrt (sqrt (/ (sinh y) y)))) (sin x) (* (cbrt (sin x)) (sqrt (/ (sinh y) y))) (* (sqrt (sin x)) (sqrt (/ (sinh y) y))) (* (sin x) (sqrt (/ (sinh y) y))) (* (sin x) (sqrt (sinh y))) (expm1 (* (sin x) (/ (sinh y) y))) (log1p (* (sin x) (/ (sinh y) y))) (* (sin x) (/ (sinh y) y)) (* (sin x) (/ (sinh y) y)) (log (* (sin x) (/ (sinh y) y))) (log (* (sin x) (/ (sinh y) y))) (log (* (sin x) (/ (sinh y) y))) (exp (* (sin x) (/ (sinh y) y))) (pow (* (sin x) (/ (sinh y) y)) 3) (pow (* (sin x) (/ (sinh y) y)) 3) (* (cbrt (* (sin x) (/ (sinh y) y))) (cbrt (* (sin x) (/ (sinh y) y)))) (cbrt (* (sin x) (/ (sinh y) y))) (pow (* (sin x) (/ (sinh y) y)) 3) (sqrt (* (sin x) (/ (sinh y) y))) (sqrt (* (sin x) (/ (sinh y) y))) (* (sin x) (sinh y)) y (* (* (sin x) (sqrt (/ (sinh y) y))) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y))))) (* (fabs (cbrt (/ (sinh y) y))) (* (sin x) (sqrt (/ (sinh y) y)))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y)))) (* (sin x) (* (sqrt (/ (sinh y) y)) (fabs (/ (cbrt (sinh y)) (cbrt y))))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))) (* (fabs (cbrt (sinh y))) (* (sin x) (sqrt (/ (sinh y) y)))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sqrt (sinh y)) (sqrt y)))) (* (sqrt (sqrt (sinh y))) (* (sin x) (sqrt (/ (sinh y) y)))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 (* (cbrt y) (cbrt y))))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ 1 (sqrt y)))) (* (sin x) (sqrt (/ (sinh y) y))) (* (sin x) (sqrt (/ (sinh y) y))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sinh y))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y)))) (* (sin x) (sqrt (/ (sinh y) y))) (/ (sinh y) y) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sinh y))) (* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (sinh y))) (fma 1/12 (pow y 2) (fma 1/1440 (pow y 4) 1)) (+ (+ (- (* (/ 1 (pow y 2)) +nan.0) (* +nan.0 (/ (exp (- y)) y))) (fma +nan.0 (/ (pow (exp y) 3) (pow y 3)) (+ (- (* +nan.0 (/ (pow (exp y) 2) (pow y 2)))) (+ (- (* +nan.0 (/ (* 1 (exp y)) (pow y 3))) (* +nan.0 (/ (pow (exp (- y)) 3) (pow y 3)))) (* +nan.0 (- (/ (pow (exp (- y)) 2) (pow y 2)) (/ (exp y) y))))))) (* (- +nan.0) (/ (* 1 (exp (- y))) (pow y 3)))) (+ (- (* +nan.0 (/ (pow (exp (- y)) 3) (pow y 3)))) (+ (- (* +nan.0 (/ (pow (exp y) 3) (pow y 3))) (* +nan.0 (/ (exp (- y)) y))) (fma +nan.0 (/ (pow (exp y) 2) (pow y 2)) (- (- (* +nan.0 (/ (pow (exp (- y)) 2) (pow y 2))) (+ (- (* (/ 1 (pow y 2)) +nan.0) (/ +nan.0 (/ (pow y 3) (* 1 (exp (- y)))))) (* +nan.0 (- (/ (* 1 (exp y)) (pow y 3)) (/ (exp y) y))))))))) (fma 1/12 (pow y 2) (fma 1/1440 (pow y 4) 1)) (+ (+ (- (* (/ 1 (pow y 2)) +nan.0) (* +nan.0 (/ (exp (- y)) y))) (fma +nan.0 (/ (pow (exp y) 3) (pow y 3)) (+ (- (* +nan.0 (/ (pow (exp y) 2) (pow y 2)))) (+ (- (* +nan.0 (/ (* 1 (exp y)) (pow y 3))) (* +nan.0 (/ (pow (exp (- y)) 3) (pow y 3)))) (* +nan.0 (- (/ (pow (exp (- y)) 2) (pow y 2)) (/ (exp y) y))))))) (* (- +nan.0) (/ (* 1 (exp (- y))) (pow y 3)))) (+ (- (* +nan.0 (/ (pow (exp (- y)) 3) (pow y 3)))) (+ (- (* +nan.0 (/ (pow (exp y) 3) (pow y 3))) (* +nan.0 (/ (exp (- y)) y))) (fma +nan.0 (/ (pow (exp y) 2) (pow y 2)) (- (- (* +nan.0 (/ (pow (exp (- y)) 2) (pow y 2))) (+ (- (* (/ 1 (pow y 2)) +nan.0) (/ +nan.0 (/ (pow y 3) (* 1 (exp (- y)))))) (* +nan.0 (- (/ (* 1 (exp y)) (pow y 3)) (/ (exp y) y))))))))) (fma 1/6 (/ (* x (* (sqrt 1/2) (pow y 2))) (sqrt 2)) (* (* (sqrt 2) (sqrt 1/2)) (- x (* 1/6 (pow x 3))))) (- (- (* +nan.0 (/ (* (sin x) (* (exp y) (sqrt 1/2))) y)) (fma (/ (* (sin x) (* (pow (exp y) 2) (sqrt 1/2))) (pow y 2)) +nan.0 (+ (+ (- (/ +nan.0 (/ (pow y 2) (* (sin x) (sqrt 1/2)))) (/ (* (* (/ (sin x) (exp y)) (sqrt 1/2)) +nan.0) y)) (+ (- (* +nan.0 (/ (* (pow (exp (- y)) 3) (* (sin x) (sqrt 1/2))) (pow y 3))) (* +nan.0 (/ (* (sin x) (* (pow (exp y) 3) (sqrt 1/2))) (pow y 3)))) (* +nan.0 (- (/ (* (sin x) (* (exp y) (sqrt 1/2))) (pow y 3)) (/ (* (/ (sin x) (exp y)) (sqrt 1/2)) (pow y 3)))))) (- (* +nan.0 (/ (* (pow (exp (- y)) 2) (* (sin x) (sqrt 1/2))) (pow y 2)))))))) (+ (fma (/ (/ (sin x) (exp y)) (pow y 3)) +nan.0 (+ (+ (- (* +nan.0 (/ (/ (sin x) (exp y)) y)) (* +nan.0 (/ (* (sin x) (pow (exp y) 3)) (pow y 3)))) (- (* +nan.0 (/ (* (sin x) (exp y)) y)) (- (* +nan.0 (/ (sin x) (/ (pow y 2) (pow (exp (- y)) 2)))) (* +nan.0 (- (/ (* (pow (exp (- y)) 3) (sin x)) (pow y 3)) (/ (* (sin x) (exp y)) (pow y 3))))))) (* (- +nan.0) (/ (sin x) (pow y 2))))) (- (* +nan.0 (/ (* (sin x) (pow (exp y) 2)) (pow y 2))))) (- (fma 1/6 (* x (pow y 2)) x) (* 1/6 (pow x 3))) (/ (* (* (sin x) (- (exp y) (exp (- y)))) 1/2) y) (+ (- (* +nan.0 (/ (* (sin x) (pow (exp y) 4)) (pow y 4)))) (- (* +nan.0 (/ (* (sin x) (pow (exp y) 2)) (pow y 2))) (- (* +nan.0 (/ (/ (sin x) (exp y)) (pow y 3))) (+ (- (/ (* +nan.0 (sin x)) (pow y 4)) (* (/ (sin x) (/ (pow y 4) (pow (exp (- y)) 4))) +nan.0)) (- (* +nan.0 (/ (sin x) (/ (pow y 2) (pow (exp (- y)) 2)))) (fma +nan.0 (/ (* (sin x) (pow (exp y) 3)) (pow y 3)) (+ (+ (- (* +nan.0 (/ (sin x) (pow y 2))) (/ (* +nan.0 (* (pow (exp (- y)) 2) (sin x))) (pow y 4))) (* +nan.0 (- (/ (* (sin x) (pow (exp y) 2)) (pow y 4)) (/ (* (sin x) (exp y)) (pow y 3))))) (- (/ (* +nan.0 (* (pow (exp (- y)) 3) (sin x))) (pow y 3)))))))))) 22.828 * * * [progress]: adding candidates to table 23.294 * * [progress]: iteration 3 / 4 23.294 * * * [progress]: picking best candidate 23.298 * * * * [pick]: Picked # 23.298 * * * [progress]: localizing error 23.310 * * * [progress]: generating rewritten candidates 23.310 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 23.311 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 23.311 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 23.312 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 23.320 * * * [progress]: generating series expansions 23.320 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 23.320 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 23.320 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 23.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 23.320 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 23.320 * [taylor]: Taking taylor expansion of 1/3 in y 23.320 * [taylor]: Taking taylor expansion of (log y) in y 23.320 * [taylor]: Taking taylor expansion of y in y 23.321 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 23.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 23.321 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 23.321 * [taylor]: Taking taylor expansion of 1/3 in y 23.321 * [taylor]: Taking taylor expansion of (log y) in y 23.321 * [taylor]: Taking taylor expansion of y in y 23.382 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 23.382 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 23.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 23.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 23.382 * [taylor]: Taking taylor expansion of 1/3 in y 23.382 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 23.383 * [taylor]: Taking taylor expansion of (/ 1 y) in y 23.383 * [taylor]: Taking taylor expansion of y in y 23.384 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 23.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 23.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 23.384 * [taylor]: Taking taylor expansion of 1/3 in y 23.384 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 23.384 * [taylor]: Taking taylor expansion of (/ 1 y) in y 23.384 * [taylor]: Taking taylor expansion of y in y 23.443 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 23.443 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 23.443 * [taylor]: Taking taylor expansion of (cbrt -1) in y 23.443 * [taylor]: Taking taylor expansion of -1 in y 23.445 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 23.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 23.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 23.445 * [taylor]: Taking taylor expansion of 1/3 in y 23.445 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 23.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y 23.445 * [taylor]: Taking taylor expansion of y in y 23.446 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 23.446 * [taylor]: Taking taylor expansion of (cbrt -1) in y 23.446 * [taylor]: Taking taylor expansion of -1 in y 23.447 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 23.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 23.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 23.447 * [taylor]: Taking taylor expansion of 1/3 in y 23.447 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 23.447 * [taylor]: Taking taylor expansion of (/ 1 y) in y 23.447 * [taylor]: Taking taylor expansion of y in y 23.530 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 23.530 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 23.530 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 23.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 23.530 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 23.530 * [taylor]: Taking taylor expansion of 1/3 in y 23.530 * [taylor]: Taking taylor expansion of (log y) in y 23.530 * [taylor]: Taking taylor expansion of y in y 23.531 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 23.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 23.531 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 23.531 * [taylor]: Taking taylor expansion of 1/3 in y 23.531 * [taylor]: Taking taylor expansion of (log y) in y 23.531 * [taylor]: Taking taylor expansion of y in y 23.594 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 23.594 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 23.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 23.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 23.594 * [taylor]: Taking taylor expansion of 1/3 in y 23.594 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 23.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 23.594 * [taylor]: Taking taylor expansion of y in y 23.595 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 23.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 23.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 23.595 * [taylor]: Taking taylor expansion of 1/3 in y 23.595 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 23.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y 23.595 * [taylor]: Taking taylor expansion of y in y 23.660 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 23.661 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 23.661 * [taylor]: Taking taylor expansion of (cbrt -1) in y 23.661 * [taylor]: Taking taylor expansion of -1 in y 23.662 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 23.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 23.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 23.662 * [taylor]: Taking taylor expansion of 1/3 in y 23.662 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 23.662 * [taylor]: Taking taylor expansion of (/ 1 y) in y 23.662 * [taylor]: Taking taylor expansion of y in y 23.663 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 23.664 * [taylor]: Taking taylor expansion of (cbrt -1) in y 23.664 * [taylor]: Taking taylor expansion of -1 in y 23.664 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 23.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 23.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 23.665 * [taylor]: Taking taylor expansion of 1/3 in y 23.665 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 23.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y 23.665 * [taylor]: Taking taylor expansion of y in y 23.743 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 23.743 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 23.743 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 23.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 23.743 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 23.744 * [taylor]: Taking taylor expansion of 1/3 in y 23.744 * [taylor]: Taking taylor expansion of (log y) in y 23.744 * [taylor]: Taking taylor expansion of y in y 23.744 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 23.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 23.744 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 23.745 * [taylor]: Taking taylor expansion of 1/3 in y 23.745 * [taylor]: Taking taylor expansion of (log y) in y 23.745 * [taylor]: Taking taylor expansion of y in y 23.799 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 23.799 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 23.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 23.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 23.799 * [taylor]: Taking taylor expansion of 1/3 in y 23.799 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 23.799 * [taylor]: Taking taylor expansion of (/ 1 y) in y 23.799 * [taylor]: Taking taylor expansion of y in y 23.800 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 23.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 23.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 23.800 * [taylor]: Taking taylor expansion of 1/3 in y 23.800 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 23.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 23.800 * [taylor]: Taking taylor expansion of y in y 23.869 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 23.869 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 23.869 * [taylor]: Taking taylor expansion of (cbrt -1) in y 23.869 * [taylor]: Taking taylor expansion of -1 in y 23.870 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 23.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 23.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 23.870 * [taylor]: Taking taylor expansion of 1/3 in y 23.870 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 23.870 * [taylor]: Taking taylor expansion of (/ 1 y) in y 23.870 * [taylor]: Taking taylor expansion of y in y 23.871 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 23.871 * [taylor]: Taking taylor expansion of (cbrt -1) in y 23.871 * [taylor]: Taking taylor expansion of -1 in y 23.872 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 23.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 23.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 23.872 * [taylor]: Taking taylor expansion of 1/3 in y 23.872 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 23.872 * [taylor]: Taking taylor expansion of (/ 1 y) in y 23.873 * [taylor]: Taking taylor expansion of y in y 23.954 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 23.954 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/3) in (y) around 0 23.954 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 23.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 23.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 23.954 * [taylor]: Taking taylor expansion of 1/3 in y 23.954 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 23.954 * [taylor]: Taking taylor expansion of (pow y 2) in y 23.954 * [taylor]: Taking taylor expansion of y in y 23.955 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 23.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 23.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 23.955 * [taylor]: Taking taylor expansion of 1/3 in y 23.955 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 23.955 * [taylor]: Taking taylor expansion of (pow y 2) in y 23.955 * [taylor]: Taking taylor expansion of y in y 24.023 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0 24.023 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 24.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 24.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 24.023 * [taylor]: Taking taylor expansion of 1/3 in y 24.023 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 24.023 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 24.023 * [taylor]: Taking taylor expansion of (pow y 2) in y 24.023 * [taylor]: Taking taylor expansion of y in y 24.025 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 24.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 24.025 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 24.025 * [taylor]: Taking taylor expansion of 1/3 in y 24.025 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 24.025 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 24.025 * [taylor]: Taking taylor expansion of (pow y 2) in y 24.025 * [taylor]: Taking taylor expansion of y in y 24.095 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in (y) around 0 24.095 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y 24.095 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 24.095 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.095 * [taylor]: Taking taylor expansion of -1 in y 24.096 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 24.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 24.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 24.097 * [taylor]: Taking taylor expansion of 1/3 in y 24.097 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 24.097 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 24.097 * [taylor]: Taking taylor expansion of (pow y 2) in y 24.097 * [taylor]: Taking taylor expansion of y in y 24.098 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y 24.098 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 24.098 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.098 * [taylor]: Taking taylor expansion of -1 in y 24.099 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 24.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 24.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 24.100 * [taylor]: Taking taylor expansion of 1/3 in y 24.100 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 24.100 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 24.100 * [taylor]: Taking taylor expansion of (pow y 2) in y 24.100 * [taylor]: Taking taylor expansion of y in y 24.192 * * * [progress]: simplifying candidates 24.193 * [simplify]: Simplifying using # : (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (* (cbrt y) (cbrt y))) (log1p (* (cbrt y) (cbrt y))) (+ 1/3 1/3) (+ 1 1) (* y y) (* (cbrt y) (cbrt y)) (+ 1 1) (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt y) (cbrt y))) (exp (* (cbrt y) (cbrt y))) (* y y) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y)) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* 1 1) (* (cbrt y) (cbrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (cbrt (sqrt y))) (* (sqrt (cbrt y)) (cbrt (sqrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* 2 1/3) (* 2 1) (* (cbrt y) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt y) (cbrt (sqrt y))) (* (cbrt y) (cbrt 1)) (* (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (* (cbrt y) (sqrt (cbrt y))) (* (cbrt y) 1) (* (cbrt (cbrt y)) (cbrt y)) (* (cbrt (sqrt y)) (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt (cbrt y)) (cbrt y)) (* (sqrt (cbrt y)) (cbrt y)) (* (cbrt y) (cbrt y)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 2/3) (pow (/ 1 y) -2/3) (* (pow (cbrt -1) 2) (pow (pow y 2) 1/3)) 24.195 * * [simplify]: iteration 0 : 65 enodes (cost 554 ) 24.214 * * [simplify]: iteration 1 : 119 enodes (cost 443 ) 24.238 * * [simplify]: iteration 2 : 329 enodes (cost 423 ) 24.492 * * [simplify]: iteration 3 : 1180 enodes (cost 405 ) 25.838 * * [simplify]: iteration 4 : 3749 enodes (cost 400 ) 27.369 * * [simplify]: iteration done : 5000 enodes (cost 400 ) 27.370 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (pow y 2/3)) (log1p (pow y 2/3)) 2/3 2 (* y y) (pow y 2/3) 2 (log (pow y 2/3)) (log (pow y 2/3)) (exp (pow y 2/3)) (* y y) (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3))) (cbrt (pow y 2/3)) (* y y) (fabs (cbrt y)) (fabs (cbrt y)) (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) 1 (pow y 2/3) (pow (cbrt (cbrt y)) 4) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt y) (cbrt y) 1 (pow y 2/3) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (cbrt y) (cbrt y) 2/3 2 (* (cbrt (pow y 2/3)) (cbrt y)) (* (cbrt y) (cbrt (sqrt y))) (cbrt y) (pow (cbrt (cbrt y)) 5) (pow (sqrt (cbrt y)) 3) (cbrt y) (pow (cbrt (cbrt y)) 4) (* (cbrt y) (cbrt (sqrt y))) (pow y 2/3) (pow (cbrt (cbrt y)) 4) (pow (sqrt (cbrt y)) 3) (pow y 2/3) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (pow y 2/3) (pow (/ 1 y) -2/3) (* (pow y 2/3) (pow (cbrt -1) 2)) 27.370 * * * [progress]: adding candidates to table 27.615 * * [progress]: iteration 4 / 4 27.615 * * * [progress]: picking best candidate 27.617 * * * * [pick]: Picked # 27.617 * * * [progress]: localizing error 27.624 * * * [progress]: generating rewritten candidates 27.624 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 27.628 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 27.632 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 27.634 * * * [progress]: generating series expansions 27.634 * * * * [progress]: [ 1 / 3 ] generating series at (2) 27.634 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in (x y) around 0 27.635 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in y 27.635 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y 27.635 * [taylor]: Taking taylor expansion of (sin x) in y 27.635 * [taylor]: Taking taylor expansion of x in y 27.635 * [taylor]: Taking taylor expansion of (sinh y) in y 27.635 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 27.635 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 27.635 * [taylor]: Taking taylor expansion of (exp y) in y 27.635 * [taylor]: Taking taylor expansion of y in y 27.635 * [taylor]: Taking taylor expansion of (exp (- y)) in y 27.635 * [taylor]: Taking taylor expansion of (- y) in y 27.635 * [taylor]: Taking taylor expansion of y in y 27.636 * [taylor]: Taking taylor expansion of 2 in y 27.639 * [taylor]: Taking taylor expansion of y in y 27.639 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x 27.639 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 27.639 * [taylor]: Taking taylor expansion of (sin x) in x 27.639 * [taylor]: Taking taylor expansion of x in x 27.639 * [taylor]: Taking taylor expansion of (sinh y) in x 27.639 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 27.639 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 27.639 * [taylor]: Taking taylor expansion of (exp y) in x 27.639 * [taylor]: Taking taylor expansion of y in x 27.639 * [taylor]: Taking taylor expansion of (exp (- y)) in x 27.639 * [taylor]: Taking taylor expansion of (- y) in x 27.639 * [taylor]: Taking taylor expansion of y in x 27.639 * [taylor]: Taking taylor expansion of 2 in x 27.640 * [taylor]: Taking taylor expansion of y in x 27.643 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) y) in x 27.644 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 27.644 * [taylor]: Taking taylor expansion of (sin x) in x 27.644 * [taylor]: Taking taylor expansion of x in x 27.644 * [taylor]: Taking taylor expansion of (sinh y) in x 27.644 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 27.644 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 27.644 * [taylor]: Taking taylor expansion of (exp y) in x 27.644 * [taylor]: Taking taylor expansion of y in x 27.644 * [taylor]: Taking taylor expansion of (exp (- y)) in x 27.644 * [taylor]: Taking taylor expansion of (- y) in x 27.644 * [taylor]: Taking taylor expansion of y in x 27.644 * [taylor]: Taking taylor expansion of 2 in x 27.644 * [taylor]: Taking taylor expansion of y in x 27.648 * [taylor]: Taking taylor expansion of (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y) in y 27.648 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y 27.648 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y 27.648 * [taylor]: Taking taylor expansion of 1/2 in y 27.648 * [taylor]: Taking taylor expansion of (exp y) in y 27.648 * [taylor]: Taking taylor expansion of y in y 27.648 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y 27.648 * [taylor]: Taking taylor expansion of 1/2 in y 27.648 * [taylor]: Taking taylor expansion of (exp (- y)) in y 27.648 * [taylor]: Taking taylor expansion of (- y) in y 27.648 * [taylor]: Taking taylor expansion of y in y 27.649 * [taylor]: Taking taylor expansion of y in y 27.658 * [taylor]: Taking taylor expansion of 0 in y 27.669 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (exp (- y)) y)) (* 1/12 (/ (exp y) y))) in y 27.669 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp (- y)) y)) in y 27.669 * [taylor]: Taking taylor expansion of 1/12 in y 27.669 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y 27.669 * [taylor]: Taking taylor expansion of (exp (- y)) in y 27.669 * [taylor]: Taking taylor expansion of (- y) in y 27.670 * [taylor]: Taking taylor expansion of y in y 27.670 * [taylor]: Taking taylor expansion of y in y 27.670 * [taylor]: Taking taylor expansion of (* 1/12 (/ (exp y) y)) in y 27.670 * [taylor]: Taking taylor expansion of 1/12 in y 27.670 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y 27.670 * [taylor]: Taking taylor expansion of (exp y) in y 27.670 * [taylor]: Taking taylor expansion of y in y 27.670 * [taylor]: Taking taylor expansion of y in y 27.681 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in (x y) around 0 27.681 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in y 27.681 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 27.681 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 27.681 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 27.681 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 27.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.681 * [taylor]: Taking taylor expansion of y in y 27.682 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 27.682 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 27.682 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.682 * [taylor]: Taking taylor expansion of y in y 27.688 * [taylor]: Taking taylor expansion of 2 in y 27.688 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in y 27.688 * [taylor]: Taking taylor expansion of y in y 27.688 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 27.688 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.688 * [taylor]: Taking taylor expansion of x in y 27.688 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x 27.688 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 27.689 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 27.689 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 27.689 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 27.689 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.689 * [taylor]: Taking taylor expansion of y in x 27.689 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 27.689 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 27.689 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.689 * [taylor]: Taking taylor expansion of y in x 27.689 * [taylor]: Taking taylor expansion of 2 in x 27.689 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x 27.689 * [taylor]: Taking taylor expansion of y in x 27.689 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 27.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.689 * [taylor]: Taking taylor expansion of x in x 27.690 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* y (sin (/ 1 x)))) in x 27.690 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 27.690 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 27.690 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 27.690 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 27.690 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.690 * [taylor]: Taking taylor expansion of y in x 27.690 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 27.690 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 27.690 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.690 * [taylor]: Taking taylor expansion of y in x 27.690 * [taylor]: Taking taylor expansion of 2 in x 27.691 * [taylor]: Taking taylor expansion of (* y (sin (/ 1 x))) in x 27.691 * [taylor]: Taking taylor expansion of y in x 27.691 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 27.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.691 * [taylor]: Taking taylor expansion of x in x 27.691 * [taylor]: Taking taylor expansion of (* 1/2 (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y 27.691 * [taylor]: Taking taylor expansion of 1/2 in y 27.691 * [taylor]: Taking taylor expansion of (* y (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y 27.691 * [taylor]: Taking taylor expansion of y in y 27.691 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y 27.691 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 27.691 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.692 * [taylor]: Taking taylor expansion of x in y 27.692 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 27.692 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 27.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.692 * [taylor]: Taking taylor expansion of y in y 27.692 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 27.692 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 27.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.692 * [taylor]: Taking taylor expansion of y in y 27.697 * [taylor]: Taking taylor expansion of 0 in y 27.705 * [taylor]: Taking taylor expansion of 0 in y 27.716 * [taylor]: Taking taylor expansion of 0 in y 27.717 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in (x y) around 0 27.717 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in y 27.717 * [taylor]: Taking taylor expansion of -1 in y 27.717 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in y 27.717 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 27.717 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 27.717 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 27.717 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 27.717 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.717 * [taylor]: Taking taylor expansion of -1 in y 27.717 * [taylor]: Taking taylor expansion of y in y 27.717 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 27.717 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 27.718 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.718 * [taylor]: Taking taylor expansion of -1 in y 27.718 * [taylor]: Taking taylor expansion of y in y 27.718 * [taylor]: Taking taylor expansion of 2 in y 27.718 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in y 27.718 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 27.718 * [taylor]: Taking taylor expansion of (/ -1 x) in y 27.718 * [taylor]: Taking taylor expansion of -1 in y 27.718 * [taylor]: Taking taylor expansion of x in y 27.719 * [taylor]: Taking taylor expansion of y in y 27.719 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x 27.719 * [taylor]: Taking taylor expansion of -1 in x 27.719 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x 27.719 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 27.719 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 27.719 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 27.719 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 27.719 * [taylor]: Taking taylor expansion of (/ -1 y) in x 27.719 * [taylor]: Taking taylor expansion of -1 in x 27.719 * [taylor]: Taking taylor expansion of y in x 27.719 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 27.719 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 27.719 * [taylor]: Taking taylor expansion of (/ -1 y) in x 27.719 * [taylor]: Taking taylor expansion of -1 in x 27.719 * [taylor]: Taking taylor expansion of y in x 27.719 * [taylor]: Taking taylor expansion of 2 in x 27.719 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x 27.719 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 27.719 * [taylor]: Taking taylor expansion of (/ -1 x) in x 27.719 * [taylor]: Taking taylor expansion of -1 in x 27.719 * [taylor]: Taking taylor expansion of x in x 27.720 * [taylor]: Taking taylor expansion of y in x 27.720 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y))) in x 27.720 * [taylor]: Taking taylor expansion of -1 in x 27.720 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) y)) in x 27.720 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 27.720 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 27.720 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 27.720 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 27.720 * [taylor]: Taking taylor expansion of (/ -1 y) in x 27.720 * [taylor]: Taking taylor expansion of -1 in x 27.720 * [taylor]: Taking taylor expansion of y in x 27.720 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 27.720 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 27.720 * [taylor]: Taking taylor expansion of (/ -1 y) in x 27.720 * [taylor]: Taking taylor expansion of -1 in x 27.720 * [taylor]: Taking taylor expansion of y in x 27.720 * [taylor]: Taking taylor expansion of 2 in x 27.721 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) y) in x 27.721 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 27.721 * [taylor]: Taking taylor expansion of (/ -1 x) in x 27.721 * [taylor]: Taking taylor expansion of -1 in x 27.721 * [taylor]: Taking taylor expansion of x in x 27.721 * [taylor]: Taking taylor expansion of y in x 27.722 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))) in y 27.722 * [taylor]: Taking taylor expansion of -1/2 in y 27.722 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)) in y 27.722 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 27.722 * [taylor]: Taking taylor expansion of (/ -1 x) in y 27.722 * [taylor]: Taking taylor expansion of -1 in y 27.722 * [taylor]: Taking taylor expansion of x in y 27.722 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) y) in y 27.722 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 27.722 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 27.722 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.722 * [taylor]: Taking taylor expansion of -1 in y 27.722 * [taylor]: Taking taylor expansion of y in y 27.722 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 27.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.722 * [taylor]: Taking taylor expansion of y in y 27.723 * [taylor]: Taking taylor expansion of y in y 27.727 * [taylor]: Taking taylor expansion of 0 in y 27.736 * [taylor]: Taking taylor expansion of 0 in y 27.747 * [taylor]: Taking taylor expansion of 0 in y 27.748 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 27.748 * [approximate]: Taking taylor expansion of (* (sin x) (sinh y)) in (x y) around 0 27.748 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y 27.748 * [taylor]: Taking taylor expansion of (sin x) in y 27.748 * [taylor]: Taking taylor expansion of x in y 27.748 * [taylor]: Taking taylor expansion of (sinh y) in y 27.748 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 27.748 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 27.748 * [taylor]: Taking taylor expansion of (exp y) in y 27.748 * [taylor]: Taking taylor expansion of y in y 27.748 * [taylor]: Taking taylor expansion of (exp (- y)) in y 27.748 * [taylor]: Taking taylor expansion of (- y) in y 27.748 * [taylor]: Taking taylor expansion of y in y 27.749 * [taylor]: Taking taylor expansion of 2 in y 27.752 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 27.752 * [taylor]: Taking taylor expansion of (sin x) in x 27.752 * [taylor]: Taking taylor expansion of x in x 27.752 * [taylor]: Taking taylor expansion of (sinh y) in x 27.752 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 27.753 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 27.753 * [taylor]: Taking taylor expansion of (exp y) in x 27.753 * [taylor]: Taking taylor expansion of y in x 27.753 * [taylor]: Taking taylor expansion of (exp (- y)) in x 27.753 * [taylor]: Taking taylor expansion of (- y) in x 27.753 * [taylor]: Taking taylor expansion of y in x 27.753 * [taylor]: Taking taylor expansion of 2 in x 27.753 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 27.753 * [taylor]: Taking taylor expansion of (sin x) in x 27.753 * [taylor]: Taking taylor expansion of x in x 27.753 * [taylor]: Taking taylor expansion of (sinh y) in x 27.753 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 27.753 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x 27.753 * [taylor]: Taking taylor expansion of (exp y) in x 27.753 * [taylor]: Taking taylor expansion of y in x 27.753 * [taylor]: Taking taylor expansion of (exp (- y)) in x 27.753 * [taylor]: Taking taylor expansion of (- y) in x 27.753 * [taylor]: Taking taylor expansion of y in x 27.753 * [taylor]: Taking taylor expansion of 2 in x 27.753 * [taylor]: Taking taylor expansion of 0 in y 27.757 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) in y 27.757 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y 27.757 * [taylor]: Taking taylor expansion of 1/2 in y 27.757 * [taylor]: Taking taylor expansion of (exp y) in y 27.757 * [taylor]: Taking taylor expansion of y in y 27.757 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- y))) in y 27.757 * [taylor]: Taking taylor expansion of 1/2 in y 27.757 * [taylor]: Taking taylor expansion of (exp (- y)) in y 27.757 * [taylor]: Taking taylor expansion of (- y) in y 27.757 * [taylor]: Taking taylor expansion of y in y 27.766 * [taylor]: Taking taylor expansion of 0 in y 27.776 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (- y))) (* 1/12 (exp y))) in y 27.776 * [taylor]: Taking taylor expansion of (* 1/12 (exp (- y))) in y 27.776 * [taylor]: Taking taylor expansion of 1/12 in y 27.776 * [taylor]: Taking taylor expansion of (exp (- y)) in y 27.776 * [taylor]: Taking taylor expansion of (- y) in y 27.776 * [taylor]: Taking taylor expansion of y in y 27.777 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y 27.777 * [taylor]: Taking taylor expansion of 1/12 in y 27.777 * [taylor]: Taking taylor expansion of (exp y) in y 27.777 * [taylor]: Taking taylor expansion of y in y 27.792 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in (x y) around 0 27.792 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in y 27.792 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 27.792 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 27.792 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 27.792 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 27.792 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.792 * [taylor]: Taking taylor expansion of y in y 27.792 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 27.792 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 27.792 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.792 * [taylor]: Taking taylor expansion of y in y 27.793 * [taylor]: Taking taylor expansion of 2 in y 27.793 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 27.793 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.793 * [taylor]: Taking taylor expansion of x in y 27.793 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x 27.794 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 27.794 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 27.794 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 27.794 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 27.794 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.794 * [taylor]: Taking taylor expansion of y in x 27.794 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 27.794 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 27.794 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.794 * [taylor]: Taking taylor expansion of y in x 27.794 * [taylor]: Taking taylor expansion of 2 in x 27.794 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 27.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.794 * [taylor]: Taking taylor expansion of x in x 27.795 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x 27.795 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 27.795 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 27.795 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x 27.795 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 27.795 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.795 * [taylor]: Taking taylor expansion of y in x 27.795 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x 27.795 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 27.795 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.795 * [taylor]: Taking taylor expansion of y in x 27.795 * [taylor]: Taking taylor expansion of 2 in x 27.795 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 27.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.795 * [taylor]: Taking taylor expansion of x in x 27.796 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y 27.796 * [taylor]: Taking taylor expansion of 1/2 in y 27.796 * [taylor]: Taking taylor expansion of (* (sin (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y 27.796 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 27.796 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.796 * [taylor]: Taking taylor expansion of x in y 27.796 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 27.796 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 27.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.796 * [taylor]: Taking taylor expansion of y in y 27.797 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 27.797 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 27.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.797 * [taylor]: Taking taylor expansion of y in y 27.801 * [taylor]: Taking taylor expansion of 0 in y 27.808 * [taylor]: Taking taylor expansion of 0 in y 27.819 * [taylor]: Taking taylor expansion of 0 in y 27.820 * [approximate]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in (x y) around 0 27.820 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in y 27.820 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 27.820 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 27.820 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 27.820 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 27.820 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.820 * [taylor]: Taking taylor expansion of -1 in y 27.820 * [taylor]: Taking taylor expansion of y in y 27.820 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 27.820 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 27.820 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.820 * [taylor]: Taking taylor expansion of -1 in y 27.820 * [taylor]: Taking taylor expansion of y in y 27.821 * [taylor]: Taking taylor expansion of 2 in y 27.821 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 27.821 * [taylor]: Taking taylor expansion of (/ -1 x) in y 27.821 * [taylor]: Taking taylor expansion of -1 in y 27.821 * [taylor]: Taking taylor expansion of x in y 27.821 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x 27.821 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 27.822 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 27.822 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 27.822 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 27.822 * [taylor]: Taking taylor expansion of (/ -1 y) in x 27.822 * [taylor]: Taking taylor expansion of -1 in x 27.822 * [taylor]: Taking taylor expansion of y in x 27.822 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 27.822 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 27.822 * [taylor]: Taking taylor expansion of (/ -1 y) in x 27.822 * [taylor]: Taking taylor expansion of -1 in x 27.822 * [taylor]: Taking taylor expansion of y in x 27.822 * [taylor]: Taking taylor expansion of 2 in x 27.822 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 27.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x 27.822 * [taylor]: Taking taylor expansion of -1 in x 27.822 * [taylor]: Taking taylor expansion of x in x 27.823 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x 27.823 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 27.823 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 27.823 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x 27.823 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 27.823 * [taylor]: Taking taylor expansion of (/ -1 y) in x 27.823 * [taylor]: Taking taylor expansion of -1 in x 27.823 * [taylor]: Taking taylor expansion of y in x 27.823 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x 27.823 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x 27.823 * [taylor]: Taking taylor expansion of (/ -1 y) in x 27.823 * [taylor]: Taking taylor expansion of -1 in x 27.823 * [taylor]: Taking taylor expansion of y in x 27.823 * [taylor]: Taking taylor expansion of 2 in x 27.823 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 27.823 * [taylor]: Taking taylor expansion of (/ -1 x) in x 27.823 * [taylor]: Taking taylor expansion of -1 in x 27.823 * [taylor]: Taking taylor expansion of x in x 27.824 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y))))) in y 27.824 * [taylor]: Taking taylor expansion of 1/2 in y 27.824 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y)))) in y 27.824 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 27.824 * [taylor]: Taking taylor expansion of (/ -1 x) in y 27.824 * [taylor]: Taking taylor expansion of -1 in y 27.824 * [taylor]: Taking taylor expansion of x in y 27.824 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 27.824 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 27.824 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.824 * [taylor]: Taking taylor expansion of -1 in y 27.824 * [taylor]: Taking taylor expansion of y in y 27.825 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 27.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.825 * [taylor]: Taking taylor expansion of y in y 27.829 * [taylor]: Taking taylor expansion of 0 in y 27.836 * [taylor]: Taking taylor expansion of 0 in y 27.845 * [taylor]: Taking taylor expansion of 0 in y 27.845 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 27.846 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 27.846 * [taylor]: Taking taylor expansion of (sinh y) in y 27.846 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 27.846 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 27.846 * [taylor]: Taking taylor expansion of (exp y) in y 27.846 * [taylor]: Taking taylor expansion of y in y 27.846 * [taylor]: Taking taylor expansion of (exp (- y)) in y 27.846 * [taylor]: Taking taylor expansion of (- y) in y 27.846 * [taylor]: Taking taylor expansion of y in y 27.846 * [taylor]: Taking taylor expansion of 2 in y 27.849 * [taylor]: Taking taylor expansion of (sinh y) in y 27.849 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 27.849 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 27.849 * [taylor]: Taking taylor expansion of (exp y) in y 27.849 * [taylor]: Taking taylor expansion of y in y 27.849 * [taylor]: Taking taylor expansion of (exp (- y)) in y 27.849 * [taylor]: Taking taylor expansion of (- y) in y 27.850 * [taylor]: Taking taylor expansion of y in y 27.850 * [taylor]: Taking taylor expansion of 2 in y 27.887 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 27.887 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 27.887 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 27.887 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 27.887 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 27.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.887 * [taylor]: Taking taylor expansion of y in y 27.888 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 27.888 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 27.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.888 * [taylor]: Taking taylor expansion of y in y 27.888 * [taylor]: Taking taylor expansion of 2 in y 27.889 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 27.889 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 27.889 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 27.889 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 27.889 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.889 * [taylor]: Taking taylor expansion of y in y 27.889 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 27.889 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 27.889 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.889 * [taylor]: Taking taylor expansion of y in y 27.890 * [taylor]: Taking taylor expansion of 2 in y 27.902 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 27.903 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 27.903 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 27.903 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 27.903 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 27.903 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.903 * [taylor]: Taking taylor expansion of -1 in y 27.903 * [taylor]: Taking taylor expansion of y in y 27.903 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 27.903 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 27.903 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.903 * [taylor]: Taking taylor expansion of -1 in y 27.903 * [taylor]: Taking taylor expansion of y in y 27.904 * [taylor]: Taking taylor expansion of 2 in y 27.904 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 27.904 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 27.904 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 27.904 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 27.904 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.904 * [taylor]: Taking taylor expansion of -1 in y 27.904 * [taylor]: Taking taylor expansion of y in y 27.905 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 27.905 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 27.905 * [taylor]: Taking taylor expansion of (/ -1 y) in y 27.905 * [taylor]: Taking taylor expansion of -1 in y 27.905 * [taylor]: Taking taylor expansion of y in y 27.905 * [taylor]: Taking taylor expansion of 2 in y 27.918 * * * [progress]: simplifying candidates 27.919 * [simplify]: Simplifying using # : (expm1 (/ (* (sin x) (sinh y)) y)) (log1p (/ (* (sin x) (sinh y)) y)) (- (+ (log (sin x)) (log (sinh y))) (log y)) (- (log (* (sin x) (sinh y))) (log y)) (log (/ (* (sin x) (sinh y)) y)) (exp (/ (* (sin x) (sinh y)) y)) (/ (* (* (* (sin x) (sin x)) (sin x)) (* (* (sinh y) (sinh y)) (sinh y))) (* (* y y) y)) (/ (* (* (* (sin x) (sinh y)) (* (sin x) (sinh y))) (* (sin x) (sinh y))) (* (* y y) y)) (* (cbrt (/ (* (sin x) (sinh y)) y)) (cbrt (/ (* (sin x) (sinh y)) y))) (cbrt (/ (* (sin x) (sinh y)) y)) (* (* (/ (* (sin x) (sinh y)) y) (/ (* (sin x) (sinh y)) y)) (/ (* (sin x) (sinh y)) y)) (sqrt (/ (* (sin x) (sinh y)) y)) (sqrt (/ (* (sin x) (sinh y)) y)) (- (* (sin x) (sinh y))) (- y) (/ (sin x) (* (cbrt y) (cbrt y))) (/ (sinh y) (cbrt y)) (/ (sin x) (sqrt y)) (/ (sinh y) (sqrt y)) (/ (sin x) 1) (/ (sinh y) y) (/ 1 y) (/ y (* (sin x) (sinh y))) (/ (* (sin x) (sinh y)) (* (cbrt y) (cbrt y))) (/ (* (sin x) (sinh y)) (sqrt y)) (/ (* (sin x) (sinh y)) 1) (/ y (sinh y)) (* y 2) (expm1 (* (sin x) (sinh y))) (log1p (* (sin x) (sinh y))) (* (sin x) (sinh y)) (+ (log (sin x)) (log (sinh y))) (log (* (sin x) (sinh y))) (exp (* (sin x) (sinh y))) (* (* (* (sin x) (sin x)) (sin x)) (* (* (sinh y) (sinh y)) (sinh y))) (* (cbrt (* (sin x) (sinh y))) (cbrt (* (sin x) (sinh y)))) (cbrt (* (sin x) (sinh y))) (* (* (* (sin x) (sinh y)) (* (sin x) (sinh y))) (* (sin x) (sinh y))) (sqrt (* (sin x) (sinh y))) (sqrt (* (sin x) (sinh y))) (* (sqrt (sin x)) (sqrt (sinh y))) (* (sqrt (sin x)) (sqrt (sinh y))) (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (sin x) (sqrt (sinh y))) (* (sin x) 1) (* (cbrt (sin x)) (sinh y)) (* (sqrt (sin x)) (sinh y)) (* (sin x) (sinh y)) (* (sin x) (- (exp y) (exp (- y)))) (expm1 (sinh y)) (log1p (sinh y)) (- (exp y) (exp (- 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/6 (* x (pow y 2))) x) (* 1/6 (pow x 3))) (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (- y)) (sin x)))) y) (* -1 (/ (- (* 1/2 (* (sin x) (exp (* -1 y)))) (* 1/2 (* (sin x) (exp y)))) y)) (- (+ (* x y) (* 1/6 (* x (pow y 3)))) (* 1/6 (* (pow x 3) y))) (* 1/2 (* (- (exp y) (exp (- y))) (sin x))) (* 1/2 (* (- (exp y) (exp (* -1 y))) (sin x))) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* 1/2 (- (exp y) (exp (- y)))) (* 1/2 (- (exp y) (exp (* -1 y)))) 27.922 * * [simplify]: iteration 0 : 123 enodes (cost 572 ) 27.947 * * [simplify]: iteration 1 : 290 enodes (cost 546 ) 28.037 * * [simplify]: iteration 2 : 1067 enodes (cost 475 ) 29.066 * * [simplify]: iteration done : 5000 enodes (cost 474 ) 29.067 * [simplify]: Simplified to: (expm1 (/ (* (sin x) (sinh y)) y)) (log1p (/ (* (sin x) (sinh y)) y)) (log (/ (* (sin x) (sinh y)) y)) (log (/ (* (sin x) (sinh y)) y)) (log (/ (* (sin x) (sinh y)) y)) (exp (/ (* (sin x) (sinh y)) y)) (pow (/ (* (sin x) (sinh y)) y) 3) (pow (/ (* (sin x) (sinh y)) y) 3) (* (cbrt (/ (* (sin x) (sinh y)) y)) (cbrt (/ (* (sin x) (sinh y)) y))) (cbrt (/ (* (sin x) (sinh y)) y)) (pow (/ (* (sin x) (sinh y)) y) 3) (sqrt (/ (* (sin x) (sinh y)) y)) (sqrt (/ (* (sin x) (sinh y)) y)) (- (* (sin x) (sinh y))) (- y) (/ (sin x) (* (cbrt y) (cbrt y))) (/ (sinh y) (cbrt y)) (/ (sin x) (sqrt y)) (/ (sinh y) (sqrt y)) (sin x) (/ (sinh y) y) (/ 1 y) (/ y (* (sin x) (sinh y))) (/ (* (sin x) (sinh y)) (* (cbrt y) (cbrt y))) (/ (* (sin x) (sinh y)) (sqrt y)) (* (sin x) (sinh y)) (/ y (sinh y)) (* y 2) (expm1 (* (sin x) (sinh y))) (log1p (* (sin x) (sinh y))) (* (sin x) (sinh y)) (log (* (sin x) (sinh y))) (log (* (sin x) (sinh y))) (exp (* (sin x) (sinh y))) (pow (* (sin x) (sinh y)) 3) (* (cbrt (* (sin x) (sinh y))) (cbrt (* (sin x) (sinh y)))) (cbrt (* (sin x) (sinh y))) (pow (* (sin x) (sinh y)) 3) (sqrt (* (sin x) (sinh y))) (sqrt (* (sin x) (sinh y))) (* (sqrt (sin x)) (sqrt (sinh y))) (* (sqrt (sin x)) (sqrt (sinh y))) (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (sin x) (sqrt (sinh y))) (sin x) (* (cbrt (sin x)) (sinh y)) (* (sqrt (sin x)) (sinh y)) (* (sin x) (sinh y)) (* (- (exp y) (exp (- y))) (sin x)) (expm1 (sinh y)) (log1p (sinh y)) (- (exp y) (exp (- 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)) (+ x (* (* 1/6 x) (- (* y y) (* x x)))) (/ (* 1/2 (* (- (exp y) (exp (- y))) (sin x))) y) (/ (* -1/2 (* (sin x) (- (exp (- y)) (exp y)))) y) (fma y x (* 1/6 (- (* x (pow y 3)) (* (pow x 3) y)))) (* 1/2 (* (- (exp y) (exp (- y))) (sin x))) (* 1/2 (* (- (exp y) (exp (- y))) (sin x))) (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y)) (* 1/2 (- (exp y) (exp (- y)))) (* 1/2 (- (exp y) (exp (- y)))) 29.067 * * * [progress]: adding candidates to table 29.217 * [progress]: [Phase 3 of 3] Extracting. 29.217 * * [regime]: Finding splitpoints for: (# # #) 29.218 * * * [regime-changes]: Trying 4 branch expressions: ((/ (sinh y) y) (sin x) y x) 29.218 * * * * [regimes]: Trying to branch on (/ (sinh y) y) from (# # #) 29.232 * * * * [regimes]: Trying to branch on (sin x) from (# # #) 29.255 * * * * [regimes]: Trying to branch on y from (# # #) 29.270 * * * * [regimes]: Trying to branch on x from (# # #) 29.285 * * * [regime]: Found split indices: #