0.354 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.073 * * * [progress]: [2/2] Setting up program. 0.075 * [progress]: [Phase 2 of 3] Improving. 0.075 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) 0.076 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.077 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.078 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 0.082 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.088 * * [simplify]: iteration 4 : 96 enodes (cost 7 ) 0.100 * * [simplify]: iteration 5 : 151 enodes (cost 7 ) 0.125 * * [simplify]: iteration 6 : 298 enodes (cost 7 ) 0.198 * * [simplify]: iteration 7 : 673 enodes (cost 7 ) 0.470 * * [simplify]: iteration 8 : 1524 enodes (cost 7 ) 1.390 * * [simplify]: iteration 9 : 2909 enodes (cost 7 ) 4.560 * * [simplify]: iteration 10 : 3514 enodes (cost 7 ) 9.189 * * [simplify]: iteration 11 : 3970 enodes (cost 7 ) 14.619 * * [simplify]: iteration 12 : 4209 enodes (cost 7 ) 20.789 * * [simplify]: iteration 13 : 4537 enodes (cost 7 ) 28.030 * * [simplify]: iteration 14 : 4773 enodes (cost 7 ) 33.193 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 33.193 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) 33.194 * * [progress]: iteration 1 / 4 33.194 * * * [progress]: picking best candidate 33.196 * * * * [pick]: Picked # 33.196 * * * [progress]: localizing error 33.202 * * * [progress]: generating rewritten candidates 33.202 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 33.205 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 33.218 * * * [progress]: generating series expansions 33.218 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 33.219 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 33.219 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 33.219 * [taylor]: Taking taylor expansion of (sin y) in y 33.219 * [taylor]: Taking taylor expansion of y in y 33.219 * [taylor]: Taking taylor expansion of y in y 33.220 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 33.220 * [taylor]: Taking taylor expansion of (sin y) in y 33.220 * [taylor]: Taking taylor expansion of y in y 33.220 * [taylor]: Taking taylor expansion of y in y 33.227 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 33.227 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 33.227 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 33.227 * [taylor]: Taking taylor expansion of (/ 1 y) in y 33.227 * [taylor]: Taking taylor expansion of y in y 33.228 * [taylor]: Taking taylor expansion of y in y 33.228 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 33.228 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 33.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y 33.228 * [taylor]: Taking taylor expansion of y in y 33.228 * [taylor]: Taking taylor expansion of y in y 33.233 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 33.233 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 33.233 * [taylor]: Taking taylor expansion of -1 in y 33.233 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 33.233 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 33.233 * [taylor]: Taking taylor expansion of (/ -1 y) in y 33.233 * [taylor]: Taking taylor expansion of -1 in y 33.233 * [taylor]: Taking taylor expansion of y in y 33.233 * [taylor]: Taking taylor expansion of y in y 33.233 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 33.233 * [taylor]: Taking taylor expansion of -1 in y 33.233 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 33.233 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 33.233 * [taylor]: Taking taylor expansion of (/ -1 y) in y 33.233 * [taylor]: Taking taylor expansion of -1 in y 33.233 * [taylor]: Taking taylor expansion of y in y 33.234 * [taylor]: Taking taylor expansion of y in y 33.245 * * * * [progress]: [ 2 / 2 ] generating series at (2) 33.245 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 33.245 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 33.245 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 33.245 * [taylor]: Taking taylor expansion of (sin y) in y 33.245 * [taylor]: Taking taylor expansion of y in y 33.245 * [taylor]: Taking taylor expansion of (cosh x) in y 33.246 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 33.246 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 33.246 * [taylor]: Taking taylor expansion of (exp x) in y 33.246 * [taylor]: Taking taylor expansion of x in y 33.246 * [taylor]: Taking taylor expansion of (exp (- x)) in y 33.246 * [taylor]: Taking taylor expansion of (- x) in y 33.246 * [taylor]: Taking taylor expansion of x in y 33.246 * [taylor]: Taking taylor expansion of 2 in y 33.246 * [taylor]: Taking taylor expansion of y in y 33.249 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 33.249 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 33.249 * [taylor]: Taking taylor expansion of (sin y) in x 33.249 * [taylor]: Taking taylor expansion of y in x 33.249 * [taylor]: Taking taylor expansion of (cosh x) in x 33.249 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 33.249 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 33.249 * [taylor]: Taking taylor expansion of (exp x) in x 33.249 * [taylor]: Taking taylor expansion of x in x 33.249 * [taylor]: Taking taylor expansion of (exp (- x)) in x 33.249 * [taylor]: Taking taylor expansion of (- x) in x 33.249 * [taylor]: Taking taylor expansion of x in x 33.250 * [taylor]: Taking taylor expansion of 2 in x 33.250 * [taylor]: Taking taylor expansion of y in x 33.251 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 33.251 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 33.251 * [taylor]: Taking taylor expansion of (sin y) in x 33.251 * [taylor]: Taking taylor expansion of y in x 33.251 * [taylor]: Taking taylor expansion of (cosh x) in x 33.251 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 33.251 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 33.251 * [taylor]: Taking taylor expansion of (exp x) in x 33.251 * [taylor]: Taking taylor expansion of x in x 33.251 * [taylor]: Taking taylor expansion of (exp (- x)) in x 33.251 * [taylor]: Taking taylor expansion of (- x) in x 33.251 * [taylor]: Taking taylor expansion of x in x 33.251 * [taylor]: Taking taylor expansion of 2 in x 33.252 * [taylor]: Taking taylor expansion of y in x 33.252 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 33.252 * [taylor]: Taking taylor expansion of (sin y) in y 33.252 * [taylor]: Taking taylor expansion of y in y 33.252 * [taylor]: Taking taylor expansion of y in y 33.257 * [taylor]: Taking taylor expansion of 0 in y 33.263 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 33.263 * [taylor]: Taking taylor expansion of 1/2 in y 33.263 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 33.263 * [taylor]: Taking taylor expansion of (sin y) in y 33.263 * [taylor]: Taking taylor expansion of y in y 33.263 * [taylor]: Taking taylor expansion of y in y 33.266 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 33.266 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 33.266 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 33.266 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 33.267 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 33.267 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 33.267 * [taylor]: Taking taylor expansion of (/ 1 x) in y 33.267 * [taylor]: Taking taylor expansion of x in y 33.267 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 33.267 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 33.267 * [taylor]: Taking taylor expansion of (/ 1 x) in y 33.267 * [taylor]: Taking taylor expansion of x in y 33.267 * [taylor]: Taking taylor expansion of 2 in y 33.267 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 33.267 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 33.267 * [taylor]: Taking taylor expansion of (/ 1 y) in y 33.267 * [taylor]: Taking taylor expansion of y in y 33.267 * [taylor]: Taking taylor expansion of y in y 33.268 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 33.268 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 33.268 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 33.268 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 33.268 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.268 * [taylor]: Taking taylor expansion of x in x 33.268 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 33.268 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 33.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.268 * [taylor]: Taking taylor expansion of x in x 33.269 * [taylor]: Taking taylor expansion of 2 in x 33.269 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 33.269 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 33.269 * [taylor]: Taking taylor expansion of (/ 1 y) in x 33.269 * [taylor]: Taking taylor expansion of y in x 33.269 * [taylor]: Taking taylor expansion of y in x 33.269 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 33.269 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 33.269 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 33.269 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 33.269 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 33.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.269 * [taylor]: Taking taylor expansion of x in x 33.270 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 33.270 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 33.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x 33.270 * [taylor]: Taking taylor expansion of x in x 33.270 * [taylor]: Taking taylor expansion of 2 in x 33.270 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 33.270 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 33.270 * [taylor]: Taking taylor expansion of (/ 1 y) in x 33.270 * [taylor]: Taking taylor expansion of y in x 33.270 * [taylor]: Taking taylor expansion of y in x 33.271 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 33.271 * [taylor]: Taking taylor expansion of 1/2 in y 33.271 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 33.271 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 33.271 * [taylor]: Taking taylor expansion of (/ 1 y) in y 33.271 * [taylor]: Taking taylor expansion of y in y 33.271 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 33.271 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 33.271 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 33.271 * [taylor]: Taking taylor expansion of (/ 1 x) in y 33.271 * [taylor]: Taking taylor expansion of x in y 33.271 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 33.271 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 33.272 * [taylor]: Taking taylor expansion of (/ 1 x) in y 33.272 * [taylor]: Taking taylor expansion of x in y 33.272 * [taylor]: Taking taylor expansion of y in y 33.275 * [taylor]: Taking taylor expansion of 0 in y 33.282 * [taylor]: Taking taylor expansion of 0 in y 33.292 * [taylor]: Taking taylor expansion of 0 in y 33.292 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 33.292 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 33.292 * [taylor]: Taking taylor expansion of -1 in y 33.292 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 33.292 * [taylor]: Taking taylor expansion of y in y 33.292 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 33.292 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 33.292 * [taylor]: Taking taylor expansion of (/ -1 y) in y 33.292 * [taylor]: Taking taylor expansion of -1 in y 33.292 * [taylor]: Taking taylor expansion of y in y 33.293 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 33.293 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 33.293 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 33.293 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 33.293 * [taylor]: Taking taylor expansion of (/ -1 x) in y 33.293 * [taylor]: Taking taylor expansion of -1 in y 33.293 * [taylor]: Taking taylor expansion of x in y 33.293 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 33.293 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 33.293 * [taylor]: Taking taylor expansion of (/ -1 x) in y 33.293 * [taylor]: Taking taylor expansion of -1 in y 33.293 * [taylor]: Taking taylor expansion of x in y 33.293 * [taylor]: Taking taylor expansion of 2 in y 33.293 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 33.293 * [taylor]: Taking taylor expansion of -1 in x 33.293 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 33.293 * [taylor]: Taking taylor expansion of y in x 33.293 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 33.293 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 33.293 * [taylor]: Taking taylor expansion of (/ -1 y) in x 33.294 * [taylor]: Taking taylor expansion of -1 in x 33.294 * [taylor]: Taking taylor expansion of y in x 33.294 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 33.294 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 33.294 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 33.294 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 33.294 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.294 * [taylor]: Taking taylor expansion of -1 in x 33.294 * [taylor]: Taking taylor expansion of x in x 33.294 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 33.294 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 33.294 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.294 * [taylor]: Taking taylor expansion of -1 in x 33.294 * [taylor]: Taking taylor expansion of x in x 33.295 * [taylor]: Taking taylor expansion of 2 in x 33.295 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 33.295 * [taylor]: Taking taylor expansion of -1 in x 33.295 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 33.295 * [taylor]: Taking taylor expansion of y in x 33.295 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 33.295 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 33.295 * [taylor]: Taking taylor expansion of (/ -1 y) in x 33.295 * [taylor]: Taking taylor expansion of -1 in x 33.295 * [taylor]: Taking taylor expansion of y in x 33.295 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 33.295 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 33.295 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 33.295 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 33.295 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.295 * [taylor]: Taking taylor expansion of -1 in x 33.296 * [taylor]: Taking taylor expansion of x in x 33.296 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 33.296 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 33.296 * [taylor]: Taking taylor expansion of (/ -1 x) in x 33.296 * [taylor]: Taking taylor expansion of -1 in x 33.296 * [taylor]: Taking taylor expansion of x in x 33.300 * [taylor]: Taking taylor expansion of 2 in x 33.300 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 33.300 * [taylor]: Taking taylor expansion of -1/2 in y 33.300 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 33.300 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 33.301 * [taylor]: Taking taylor expansion of (/ -1 y) in y 33.301 * [taylor]: Taking taylor expansion of -1 in y 33.301 * [taylor]: Taking taylor expansion of y in y 33.301 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 33.301 * [taylor]: Taking taylor expansion of y in y 33.301 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 33.301 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 33.301 * [taylor]: Taking taylor expansion of (/ 1 x) in y 33.301 * [taylor]: Taking taylor expansion of x in y 33.301 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 33.301 * [taylor]: Taking taylor expansion of (/ -1 x) in y 33.301 * [taylor]: Taking taylor expansion of -1 in y 33.301 * [taylor]: Taking taylor expansion of x in y 33.305 * [taylor]: Taking taylor expansion of 0 in y 33.312 * [taylor]: Taking taylor expansion of 0 in y 33.322 * [taylor]: Taking taylor expansion of 0 in y 33.323 * * * [progress]: simplifying candidates 33.324 * [simplify]: Simplifying using # : (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) (- (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)) (expm1 (* (cosh x) (/ (sin y) y))) (log1p (* (cosh x) (/ (sin y) 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) 33.328 * * [simplify]: iteration 0 : 124 enodes (cost 689 ) 33.349 * * [simplify]: iteration 1 : 276 enodes (cost 656 ) 33.412 * * [simplify]: iteration 2 : 1009 enodes (cost 592 )