0.335 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.073 * * * [progress]: [2/2] Setting up program. 0.076 * [progress]: [Phase 2 of 3] Improving. 0.076 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) 0.077 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.078 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.079 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 0.083 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.089 * * [simplify]: iteration 4 : 92 enodes (cost 7 ) 0.100 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 0.121 * * [simplify]: iteration 6 : 262 enodes (cost 7 ) 0.182 * * [simplify]: iteration 7 : 619 enodes (cost 7 ) 0.415 * * [simplify]: iteration 8 : 1425 enodes (cost 7 ) 1.220 * * [simplify]: iteration 9 : 2847 enodes (cost 7 ) 4.280 * * [simplify]: iteration 10 : 3399 enodes (cost 7 ) 8.540 * * [simplify]: iteration 11 : 3834 enodes (cost 7 ) 14.063 * * [simplify]: iteration 12 : 4076 enodes (cost 7 ) 19.962 * * [simplify]: iteration 13 : 4404 enodes (cost 7 ) 26.967 * * [simplify]: iteration 14 : 4642 enodes (cost 7 ) 34.508 * * [simplify]: iteration 15 : 4970 enodes (cost 7 ) 38.390 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 38.390 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) 38.390 * * [progress]: iteration 1 / 4 38.390 * * * [progress]: picking best candidate 38.392 * * * * [pick]: Picked # 38.392 * * * [progress]: localizing error 38.398 * * * [progress]: generating rewritten candidates 38.399 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 38.402 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 38.414 * * * [progress]: generating series expansions 38.414 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 38.415 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 38.415 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 38.415 * [taylor]: Taking taylor expansion of (sin y) in y 38.415 * [taylor]: Taking taylor expansion of y in y 38.415 * [taylor]: Taking taylor expansion of y in y 38.416 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 38.416 * [taylor]: Taking taylor expansion of (sin y) in y 38.416 * [taylor]: Taking taylor expansion of y in y 38.416 * [taylor]: Taking taylor expansion of y in y 38.424 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 38.424 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 38.424 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 38.424 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.424 * [taylor]: Taking taylor expansion of y in y 38.424 * [taylor]: Taking taylor expansion of y in y 38.424 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 38.424 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 38.424 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.424 * [taylor]: Taking taylor expansion of y in y 38.425 * [taylor]: Taking taylor expansion of y in y 38.429 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 38.429 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 38.429 * [taylor]: Taking taylor expansion of -1 in y 38.429 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 38.429 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 38.429 * [taylor]: Taking taylor expansion of (/ -1 y) in y 38.429 * [taylor]: Taking taylor expansion of -1 in y 38.429 * [taylor]: Taking taylor expansion of y in y 38.430 * [taylor]: Taking taylor expansion of y in y 38.430 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 38.430 * [taylor]: Taking taylor expansion of -1 in y 38.430 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 38.430 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 38.430 * [taylor]: Taking taylor expansion of (/ -1 y) in y 38.430 * [taylor]: Taking taylor expansion of -1 in y 38.430 * [taylor]: Taking taylor expansion of y in y 38.430 * [taylor]: Taking taylor expansion of y in y 38.442 * * * * [progress]: [ 2 / 2 ] generating series at (2) 38.442 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 38.442 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 38.442 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 38.442 * [taylor]: Taking taylor expansion of (sin y) in y 38.442 * [taylor]: Taking taylor expansion of y in y 38.442 * [taylor]: Taking taylor expansion of (cosh x) in y 38.443 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 38.443 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 38.443 * [taylor]: Taking taylor expansion of (exp x) in y 38.443 * [taylor]: Taking taylor expansion of x in y 38.443 * [taylor]: Taking taylor expansion of (exp (- x)) in y 38.443 * [taylor]: Taking taylor expansion of (- x) in y 38.443 * [taylor]: Taking taylor expansion of x in y 38.443 * [taylor]: Taking taylor expansion of 2 in y 38.443 * [taylor]: Taking taylor expansion of y in y 38.447 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 38.447 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 38.447 * [taylor]: Taking taylor expansion of (sin y) in x 38.447 * [taylor]: Taking taylor expansion of y in x 38.447 * [taylor]: Taking taylor expansion of (cosh x) in x 38.447 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 38.447 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 38.447 * [taylor]: Taking taylor expansion of (exp x) in x 38.447 * [taylor]: Taking taylor expansion of x in x 38.447 * [taylor]: Taking taylor expansion of (exp (- x)) in x 38.447 * [taylor]: Taking taylor expansion of (- x) in x 38.447 * [taylor]: Taking taylor expansion of x in x 38.448 * [taylor]: Taking taylor expansion of 2 in x 38.448 * [taylor]: Taking taylor expansion of y in x 38.448 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 38.448 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 38.448 * [taylor]: Taking taylor expansion of (sin y) in x 38.448 * [taylor]: Taking taylor expansion of y in x 38.448 * [taylor]: Taking taylor expansion of (cosh x) in x 38.448 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 38.448 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 38.448 * [taylor]: Taking taylor expansion of (exp x) in x 38.448 * [taylor]: Taking taylor expansion of x in x 38.448 * [taylor]: Taking taylor expansion of (exp (- x)) in x 38.448 * [taylor]: Taking taylor expansion of (- x) in x 38.448 * [taylor]: Taking taylor expansion of x in x 38.449 * [taylor]: Taking taylor expansion of 2 in x 38.449 * [taylor]: Taking taylor expansion of y in x 38.450 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 38.450 * [taylor]: Taking taylor expansion of (sin y) in y 38.450 * [taylor]: Taking taylor expansion of y in y 38.450 * [taylor]: Taking taylor expansion of y in y 38.455 * [taylor]: Taking taylor expansion of 0 in y 38.461 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 38.461 * [taylor]: Taking taylor expansion of 1/2 in y 38.461 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 38.461 * [taylor]: Taking taylor expansion of (sin y) in y 38.461 * [taylor]: Taking taylor expansion of y in y 38.461 * [taylor]: Taking taylor expansion of y in y 38.464 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 38.464 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 38.464 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 38.464 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 38.464 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 38.464 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 38.464 * [taylor]: Taking taylor expansion of (/ 1 x) in y 38.464 * [taylor]: Taking taylor expansion of x in y 38.464 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 38.464 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 38.464 * [taylor]: Taking taylor expansion of (/ 1 x) in y 38.464 * [taylor]: Taking taylor expansion of x in y 38.464 * [taylor]: Taking taylor expansion of 2 in y 38.465 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 38.465 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 38.465 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.465 * [taylor]: Taking taylor expansion of y in y 38.465 * [taylor]: Taking taylor expansion of y in y 38.465 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 38.465 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 38.465 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 38.465 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 38.465 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 38.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.465 * [taylor]: Taking taylor expansion of x in x 38.466 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 38.466 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 38.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.466 * [taylor]: Taking taylor expansion of x in x 38.466 * [taylor]: Taking taylor expansion of 2 in x 38.466 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 38.466 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 38.466 * [taylor]: Taking taylor expansion of (/ 1 y) in x 38.466 * [taylor]: Taking taylor expansion of y in x 38.467 * [taylor]: Taking taylor expansion of y in x 38.467 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 38.467 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 38.467 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 38.467 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 38.467 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 38.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.467 * [taylor]: Taking taylor expansion of x in x 38.467 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 38.467 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 38.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.467 * [taylor]: Taking taylor expansion of x in x 38.468 * [taylor]: Taking taylor expansion of 2 in x 38.468 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 38.468 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 38.468 * [taylor]: Taking taylor expansion of (/ 1 y) in x 38.468 * [taylor]: Taking taylor expansion of y in x 38.468 * [taylor]: Taking taylor expansion of y in x 38.468 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 38.468 * [taylor]: Taking taylor expansion of 1/2 in y 38.468 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 38.468 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 38.468 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.468 * [taylor]: Taking taylor expansion of y in y 38.469 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 38.469 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 38.469 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 38.469 * [taylor]: Taking taylor expansion of (/ 1 x) in y 38.469 * [taylor]: Taking taylor expansion of x in y 38.469 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 38.469 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 38.469 * [taylor]: Taking taylor expansion of (/ 1 x) in y 38.469 * [taylor]: Taking taylor expansion of x in y 38.469 * [taylor]: Taking taylor expansion of y in y 38.472 * [taylor]: Taking taylor expansion of 0 in y 38.479 * [taylor]: Taking taylor expansion of 0 in y 38.488 * [taylor]: Taking taylor expansion of 0 in y 38.489 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 38.489 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 38.489 * [taylor]: Taking taylor expansion of -1 in y 38.489 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 38.489 * [taylor]: Taking taylor expansion of y in y 38.489 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 38.489 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 38.489 * [taylor]: Taking taylor expansion of (/ -1 y) in y 38.489 * [taylor]: Taking taylor expansion of -1 in y 38.489 * [taylor]: Taking taylor expansion of y in y 38.489 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 38.489 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 38.489 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 38.489 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 38.489 * [taylor]: Taking taylor expansion of (/ -1 x) in y 38.489 * [taylor]: Taking taylor expansion of -1 in y 38.489 * [taylor]: Taking taylor expansion of x in y 38.490 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 38.490 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 38.490 * [taylor]: Taking taylor expansion of (/ -1 x) in y 38.490 * [taylor]: Taking taylor expansion of -1 in y 38.490 * [taylor]: Taking taylor expansion of x in y 38.490 * [taylor]: Taking taylor expansion of 2 in y 38.490 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 38.490 * [taylor]: Taking taylor expansion of -1 in x 38.490 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 38.490 * [taylor]: Taking taylor expansion of y in x 38.490 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 38.490 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 38.490 * [taylor]: Taking taylor expansion of (/ -1 y) in x 38.490 * [taylor]: Taking taylor expansion of -1 in x 38.490 * [taylor]: Taking taylor expansion of y in x 38.490 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 38.490 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 38.490 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 38.490 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 38.490 * [taylor]: Taking taylor expansion of (/ -1 x) in x 38.490 * [taylor]: Taking taylor expansion of -1 in x 38.490 * [taylor]: Taking taylor expansion of x in x 38.491 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 38.491 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 38.491 * [taylor]: Taking taylor expansion of (/ -1 x) in x 38.491 * [taylor]: Taking taylor expansion of -1 in x 38.491 * [taylor]: Taking taylor expansion of x in x 38.491 * [taylor]: Taking taylor expansion of 2 in x 38.491 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 38.491 * [taylor]: Taking taylor expansion of -1 in x 38.491 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 38.491 * [taylor]: Taking taylor expansion of y in x 38.491 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 38.492 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 38.492 * [taylor]: Taking taylor expansion of (/ -1 y) in x 38.492 * [taylor]: Taking taylor expansion of -1 in x 38.492 * [taylor]: Taking taylor expansion of y in x 38.492 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 38.492 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 38.492 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 38.492 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 38.492 * [taylor]: Taking taylor expansion of (/ -1 x) in x 38.492 * [taylor]: Taking taylor expansion of -1 in x 38.492 * [taylor]: Taking taylor expansion of x in x 38.492 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 38.492 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 38.492 * [taylor]: Taking taylor expansion of (/ -1 x) in x 38.492 * [taylor]: Taking taylor expansion of -1 in x 38.492 * [taylor]: Taking taylor expansion of x in x 38.496 * [taylor]: Taking taylor expansion of 2 in x 38.497 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 38.497 * [taylor]: Taking taylor expansion of -1/2 in y 38.497 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 38.497 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 38.497 * [taylor]: Taking taylor expansion of (/ -1 y) in y 38.497 * [taylor]: Taking taylor expansion of -1 in y 38.497 * [taylor]: Taking taylor expansion of y in y 38.497 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 38.497 * [taylor]: Taking taylor expansion of y in y 38.497 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 38.497 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 38.497 * [taylor]: Taking taylor expansion of (/ 1 x) in y 38.497 * [taylor]: Taking taylor expansion of x in y 38.497 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 38.497 * [taylor]: Taking taylor expansion of (/ -1 x) in y 38.497 * [taylor]: Taking taylor expansion of -1 in y 38.497 * [taylor]: Taking taylor expansion of x in y 38.501 * [taylor]: Taking taylor expansion of 0 in y 38.509 * [taylor]: Taking taylor expansion of 0 in y 38.519 * [taylor]: Taking taylor expansion of 0 in y 38.519 * * * [progress]: simplifying candidates 38.520 * [simplify]: Simplifying using # : (- (log (sin y)) (log y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) 1) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 1) (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (/ (sin y) 1) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (* (cosh x) (/ (sin y) y)) (+ (log (cosh x)) (- (log (sin y)) (log y))) (+ (log (cosh x)) (log (/ (sin y) y))) (log (* (cosh x) (/ (sin y) y))) (exp (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))) (* (cbrt (* (cosh x) (/ (sin y) y))) (cbrt (* (cosh x) (/ (sin y) y)))) (cbrt (* (cosh x) (/ (sin y) y))) (* (* (* (cosh x) (/ (sin y) y)) (* (cosh x) (/ (sin y) y))) (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (sqrt (* (cosh x) (/ (sin y) y))) (* (+ (exp x) (exp (- x))) (sin y)) (* 2 y) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (sqrt (/ (sin y) y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt (cosh x)) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cosh x) (sqrt (/ (sin y) y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (cosh x) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (* (cosh x) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (* (cosh x) (/ (sqrt (sin y)) (sqrt y))) (* (cosh x) (/ (sqrt (sin y)) 1)) (* (cosh x) (/ 1 (* (cbrt y) (cbrt y)))) (* (cosh x) (/ 1 (sqrt y))) (* (cosh x) (/ 1 1)) (* (cosh x) 1) (* (cosh x) (sin y)) (* (cbrt (cosh x)) (/ (sin y) y)) (* (sqrt (cosh x)) (/ (sin y) y)) (* (cosh x) (/ (sin y) y)) (* (cosh x) (sin y)) (* (+ (exp x) (exp (- x))) (/ (sin y) y)) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- (+ (* 1/2 (pow x 2)) 1) (* 1/6 (pow y 2))) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (sin y) (exp (- x))))) y) (/ (+ (* 1/2 (* (sin y) (exp x))) (* 1/2 (* (exp (* -1 x)) (sin y)))) y) 38.524 * * [simplify]: iteration 0 : 120 enodes (cost 663 ) 38.543 * * [simplify]: iteration 1 : 268 enodes (cost 632 ) 38.602 * * [simplify]: iteration 2 : 991 enodes (cost 568 )