31.162 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.083 * * * [progress]: [2/2] Setting up program. 0.085 * [progress]: [Phase 2 of 3] Improving. 0.085 * [simplify]: Simplifying using # : (* (cosh x) (/ (sin y) y)) 0.088 * * [simplify]: iteration 0 : 15 enodes (cost 4 ) 0.089 * * [simplify]: iteration 1 : 28 enodes (cost 4 ) 0.090 * * [simplify]: iteration 2 : 56 enodes (cost 4 ) 0.092 * * [simplify]: iteration 3 : 102 enodes (cost 4 ) 0.094 * * [simplify]: iteration 4 : 153 enodes (cost 4 ) 0.096 * * [simplify]: iteration 5 : 334 enodes (cost 4 ) 0.100 * * [simplify]: iteration 6 : 924 enodes (cost 4 ) 0.109 * * [simplify]: iteration 7 : 1912 enodes (cost 4 ) 0.137 * * [simplify]: iteration 8 : 5001 enodes (cost 4 ) 0.137 * [simplify]: Simplified to: (* (cosh x) (/ (sin y) y)) 0.137 * * [progress]: iteration 1 / 4 0.137 * * * [progress]: picking best candidate 0.139 * * * * [pick]: Picked # 0.139 * * * [progress]: localizing error 0.147 * * * [progress]: generating rewritten candidates 0.147 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.149 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.150 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.154 * * * [progress]: generating series expansions 0.154 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.154 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 0.154 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.154 * [taylor]: Taking taylor expansion of (sin y) in y 0.154 * [taylor]: Taking taylor expansion of y in y 0.154 * [taylor]: Taking taylor expansion of y in y 0.155 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.155 * [taylor]: Taking taylor expansion of (sin y) in y 0.155 * [taylor]: Taking taylor expansion of y in y 0.155 * [taylor]: Taking taylor expansion of y in y 0.162 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 0.162 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.162 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.162 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.162 * [taylor]: Taking taylor expansion of y in y 0.163 * [taylor]: Taking taylor expansion of y in y 0.163 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.163 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.163 * [taylor]: Taking taylor expansion of y in y 0.163 * [taylor]: Taking taylor expansion of y in y 0.167 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.167 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.167 * [taylor]: Taking taylor expansion of -1 in y 0.167 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.167 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.167 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.167 * [taylor]: Taking taylor expansion of -1 in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.167 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.167 * [taylor]: Taking taylor expansion of -1 in y 0.167 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.167 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.167 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.167 * [taylor]: Taking taylor expansion of -1 in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.168 * [taylor]: Taking taylor expansion of y in y 0.179 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.179 * [approximate]: Taking taylor expansion of (cosh x) in (x) around 0 0.179 * [taylor]: Taking taylor expansion of (cosh x) in x 0.179 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.179 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.179 * [taylor]: Taking taylor expansion of (exp x) in x 0.179 * [taylor]: Taking taylor expansion of x in x 0.179 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.179 * [taylor]: Taking taylor expansion of (- x) in x 0.179 * [taylor]: Taking taylor expansion of x in x 0.180 * [taylor]: Taking taylor expansion of 2 in x 0.180 * [taylor]: Taking taylor expansion of (cosh x) in x 0.180 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.180 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.180 * [taylor]: Taking taylor expansion of (exp x) in x 0.180 * [taylor]: Taking taylor expansion of x in x 0.180 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.180 * [taylor]: Taking taylor expansion of (- x) in x 0.180 * [taylor]: Taking taylor expansion of x in x 0.181 * [taylor]: Taking taylor expansion of 2 in x 0.197 * [approximate]: Taking taylor expansion of (cosh (/ 1 x)) in (x) around 0 0.197 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.197 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.197 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.197 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.198 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of 2 in x 0.198 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.198 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.198 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.198 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.199 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.199 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.199 * [taylor]: Taking taylor expansion of 2 in x 0.213 * [approximate]: Taking taylor expansion of (cosh (/ -1 x)) in (x) around 0 0.213 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.213 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.213 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.213 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.213 * [taylor]: Taking taylor expansion of -1 in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.213 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.213 * [taylor]: Taking taylor expansion of -1 in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.214 * [taylor]: Taking taylor expansion of 2 in x 0.214 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.214 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.214 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.214 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.214 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.214 * [taylor]: Taking taylor expansion of -1 in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.215 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.215 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.215 * [taylor]: Taking taylor expansion of -1 in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of 2 in x 0.225 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.225 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 0.225 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 0.226 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 0.226 * [taylor]: Taking taylor expansion of (sin y) in y 0.226 * [taylor]: Taking taylor expansion of y in y 0.226 * [taylor]: Taking taylor expansion of (cosh x) in y 0.226 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.226 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 0.226 * [taylor]: Taking taylor expansion of (exp x) in y 0.226 * [taylor]: Taking taylor expansion of x in y 0.226 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.226 * [taylor]: Taking taylor expansion of (- x) in y 0.226 * [taylor]: Taking taylor expansion of x in y 0.226 * [taylor]: Taking taylor expansion of 2 in y 0.226 * [taylor]: Taking taylor expansion of y in y 0.229 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 0.229 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 0.229 * [taylor]: Taking taylor expansion of (sin y) in x 0.229 * [taylor]: Taking taylor expansion of y in x 0.229 * [taylor]: Taking taylor expansion of (cosh x) in x 0.229 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.229 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.229 * [taylor]: Taking taylor expansion of (exp x) in x 0.229 * [taylor]: Taking taylor expansion of x in x 0.229 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.229 * [taylor]: Taking taylor expansion of (- x) in x 0.229 * [taylor]: Taking taylor expansion of x in x 0.230 * [taylor]: Taking taylor expansion of 2 in x 0.230 * [taylor]: Taking taylor expansion of y in x 0.230 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 0.230 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 0.230 * [taylor]: Taking taylor expansion of (sin y) in x 0.230 * [taylor]: Taking taylor expansion of y in x 0.231 * [taylor]: Taking taylor expansion of (cosh x) in x 0.231 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.231 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.231 * [taylor]: Taking taylor expansion of (exp x) in x 0.231 * [taylor]: Taking taylor expansion of x in x 0.231 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.231 * [taylor]: Taking taylor expansion of (- x) in x 0.231 * [taylor]: Taking taylor expansion of x in x 0.231 * [taylor]: Taking taylor expansion of 2 in x 0.232 * [taylor]: Taking taylor expansion of y in x 0.232 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.232 * [taylor]: Taking taylor expansion of (sin y) in y 0.232 * [taylor]: Taking taylor expansion of y in y 0.232 * [taylor]: Taking taylor expansion of y in y 0.237 * [taylor]: Taking taylor expansion of 0 in y 0.243 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 0.243 * [taylor]: Taking taylor expansion of 1/2 in y 0.243 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.243 * [taylor]: Taking taylor expansion of (sin y) in y 0.243 * [taylor]: Taking taylor expansion of y in y 0.243 * [taylor]: Taking taylor expansion of y in y 0.246 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 0.246 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 0.246 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 0.246 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.246 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.246 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.246 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.246 * [taylor]: Taking taylor expansion of x in y 0.246 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.246 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.246 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.246 * [taylor]: Taking taylor expansion of x in y 0.247 * [taylor]: Taking taylor expansion of 2 in y 0.247 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.247 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.247 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.247 * [taylor]: Taking taylor expansion of y in y 0.247 * [taylor]: Taking taylor expansion of y in y 0.247 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 0.247 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.247 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.247 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.247 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.248 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.248 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.248 * [taylor]: Taking taylor expansion of x in x 0.248 * [taylor]: Taking taylor expansion of 2 in x 0.248 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.248 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.248 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.248 * [taylor]: Taking taylor expansion of y in x 0.248 * [taylor]: Taking taylor expansion of y in x 0.248 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 0.249 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.249 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.249 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.249 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.249 * [taylor]: Taking taylor expansion of x in x 0.249 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.249 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.249 * [taylor]: Taking taylor expansion of x in x 0.250 * [taylor]: Taking taylor expansion of 2 in x 0.250 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.250 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.250 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.250 * [taylor]: Taking taylor expansion of y in x 0.250 * [taylor]: Taking taylor expansion of y in x 0.250 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 0.250 * [taylor]: Taking taylor expansion of 1/2 in y 0.250 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 0.250 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.250 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.250 * [taylor]: Taking taylor expansion of y in y 0.251 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 0.251 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.251 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.251 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.251 * [taylor]: Taking taylor expansion of x in y 0.251 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.251 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.251 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.251 * [taylor]: Taking taylor expansion of x in y 0.251 * [taylor]: Taking taylor expansion of y in y 0.254 * [taylor]: Taking taylor expansion of 0 in y 0.261 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 0.270 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 0.270 * [taylor]: Taking taylor expansion of -1 in y 0.270 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 0.270 * [taylor]: Taking taylor expansion of y in y 0.270 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 0.270 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.270 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.270 * [taylor]: Taking taylor expansion of -1 in y 0.270 * [taylor]: Taking taylor expansion of y in y 0.270 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 0.271 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.271 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 0.271 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.271 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.271 * [taylor]: Taking taylor expansion of -1 in y 0.271 * [taylor]: Taking taylor expansion of x in y 0.271 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 0.271 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 0.271 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.271 * [taylor]: Taking taylor expansion of -1 in y 0.271 * [taylor]: Taking taylor expansion of x in y 0.271 * [taylor]: Taking taylor expansion of 2 in y 0.271 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 0.271 * [taylor]: Taking taylor expansion of -1 in x 0.271 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 0.271 * [taylor]: Taking taylor expansion of y in x 0.271 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 0.271 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.271 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.271 * [taylor]: Taking taylor expansion of -1 in x 0.271 * [taylor]: Taking taylor expansion of y in x 0.271 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.271 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.271 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.271 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.271 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.271 * [taylor]: Taking taylor expansion of -1 in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.272 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.272 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.272 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.272 * [taylor]: Taking taylor expansion of -1 in x 0.272 * [taylor]: Taking taylor expansion of x in x 0.272 * [taylor]: Taking taylor expansion of 2 in x 0.273 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 0.273 * [taylor]: Taking taylor expansion of -1 in x 0.273 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 0.273 * [taylor]: Taking taylor expansion of y in x 0.273 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 0.273 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.273 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.273 * [taylor]: Taking taylor expansion of -1 in x 0.273 * [taylor]: Taking taylor expansion of y in x 0.273 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.273 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.273 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.273 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.273 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.273 * [taylor]: Taking taylor expansion of -1 in x 0.273 * [taylor]: Taking taylor expansion of x in x 0.273 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.273 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.273 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.273 * [taylor]: Taking taylor expansion of -1 in x 0.273 * [taylor]: Taking taylor expansion of x in x 0.274 * [taylor]: Taking taylor expansion of 2 in x 0.275 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 0.275 * [taylor]: Taking taylor expansion of -1/2 in y 0.275 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 0.275 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.275 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.275 * [taylor]: Taking taylor expansion of -1 in y 0.275 * [taylor]: Taking taylor expansion of y in y 0.275 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 0.275 * [taylor]: Taking taylor expansion of y in y 0.275 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 0.275 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.275 * [taylor]: Taking taylor expansion of x in y 0.275 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.275 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.275 * [taylor]: Taking taylor expansion of -1 in y 0.275 * [taylor]: Taking taylor expansion of x in y 0.279 * [taylor]: Taking taylor expansion of 0 in y 0.286 * [taylor]: Taking taylor expansion of 0 in y 0.299 * [taylor]: Taking taylor expansion of 0 in y 0.299 * * * [progress]: simplifying candidates 0.300 * [simplify]: Simplifying using # : (- (sin y)) (- y) (/ 1 y) (/ y (sin y)) (+ (exp x) (exp (- x))) (* (+ (exp x) (exp (- x))) (sin y)) (* 2 y) (* (+ (exp x) (exp (- x))) (- (sin y))) (* 2 (- y)) (* (+ (exp x) (exp (- x))) 1) (* 2 (/ y (sin y))) (* (cosh x) (sin y)) (* (cosh x) (sin y)) (* (cosh x) (- (sin y))) (* (cosh x) 1) (* (+ (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/24 (pow x 4)) 1)) (* 1/2 (+ (exp x) (exp (- x)))) (* 1/2 (+ (exp (* -1 x)) (exp x))) (- (+ (* 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) 0.303 * * [simplify]: iteration 0 : 146 enodes (cost 103 ) 0.306 * * [simplify]: iteration 1 : 436 enodes (cost 95 ) 0.314 * * [simplify]: iteration 2 : 2004 enodes (cost 73 ) 0.351 * * [simplify]: iteration 3 : 5001 enodes (cost 69 ) 0.352 * [simplify]: Simplified to: (- (sin y)) (- y) (/ 1 y) (/ y (sin y)) (* (cosh x) 2) (* (sin y) (* (cosh x) 2)) (* 2 y) (* (- (sin y)) (* (cosh x) 2)) (* 2 (- y)) (* (cosh x) 2) (* 2 (/ y (sin y))) (* (cosh x) (sin y)) (* (cosh x) (sin y)) (* (cosh x) (- (sin y))) (cosh x) (* (/ (sin y) y) (* (cosh x) 2)) (fma (pow y 4) 1/120 (- 1 (* 1/6 (pow y 2)))) (/ (sin y) y) (/ (sin y) y) (fma 1/2 (pow x 2) (fma 1/24 (pow x 4) 1)) (cosh x) (cosh x) (fma (pow x 2) 1/2 (- 1 (* 1/6 (pow y 2)))) (* (/ (sin y) y) (cosh x)) (* (/ (sin y) y) (cosh x)) 0.352 * * * [progress]: adding candidates to table 0.394 * * [progress]: iteration 2 / 4 0.394 * * * [progress]: picking best candidate 0.400 * * * * [pick]: Picked # 0.400 * * * [progress]: localizing error 0.410 * * * [progress]: generating rewritten candidates 0.410 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.413 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 0.415 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.417 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.422 * * * [progress]: generating series expansions 0.422 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.422 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 0.422 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.422 * [taylor]: Taking taylor expansion of (sin y) in y 0.422 * [taylor]: Taking taylor expansion of y in y 0.422 * [taylor]: Taking taylor expansion of y in y 0.423 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.423 * [taylor]: Taking taylor expansion of (sin y) in y 0.423 * [taylor]: Taking taylor expansion of y in y 0.423 * [taylor]: Taking taylor expansion of y in y 0.430 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 0.430 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.430 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.430 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.430 * [taylor]: Taking taylor expansion of y in y 0.430 * [taylor]: Taking taylor expansion of y in y 0.430 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.430 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.430 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.430 * [taylor]: Taking taylor expansion of y in y 0.431 * [taylor]: Taking taylor expansion of y in y 0.435 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.435 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.435 * [taylor]: Taking taylor expansion of -1 in y 0.435 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.435 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.435 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.435 * [taylor]: Taking taylor expansion of -1 in y 0.435 * [taylor]: Taking taylor expansion of y in y 0.435 * [taylor]: Taking taylor expansion of y in y 0.435 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.435 * [taylor]: Taking taylor expansion of -1 in y 0.435 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.435 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.435 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.435 * [taylor]: Taking taylor expansion of -1 in y 0.435 * [taylor]: Taking taylor expansion of y in y 0.436 * [taylor]: Taking taylor expansion of y in y 0.447 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 0.447 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 0.447 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 0.447 * [taylor]: Taking taylor expansion of y in y 0.447 * [taylor]: Taking taylor expansion of (sin y) in y 0.447 * [taylor]: Taking taylor expansion of y in y 0.448 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 0.448 * [taylor]: Taking taylor expansion of y in y 0.448 * [taylor]: Taking taylor expansion of (sin y) in y 0.448 * [taylor]: Taking taylor expansion of y in y 0.456 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 0.456 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 0.456 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.456 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.456 * [taylor]: Taking taylor expansion of y in y 0.456 * [taylor]: Taking taylor expansion of y in y 0.457 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 0.457 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.457 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.457 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.457 * [taylor]: Taking taylor expansion of y in y 0.457 * [taylor]: Taking taylor expansion of y in y 0.463 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.463 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 0.463 * [taylor]: Taking taylor expansion of -1 in y 0.463 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.463 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.463 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.463 * [taylor]: Taking taylor expansion of -1 in y 0.463 * [taylor]: Taking taylor expansion of y in y 0.463 * [taylor]: Taking taylor expansion of y in y 0.464 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 0.464 * [taylor]: Taking taylor expansion of -1 in y 0.464 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.464 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.464 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.464 * [taylor]: Taking taylor expansion of -1 in y 0.464 * [taylor]: Taking taylor expansion of y in y 0.464 * [taylor]: Taking taylor expansion of y in y 0.470 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 0.470 * [approximate]: Taking taylor expansion of (cosh x) in (x) around 0 0.470 * [taylor]: Taking taylor expansion of (cosh x) in x 0.470 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.470 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.470 * [taylor]: Taking taylor expansion of (exp x) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.470 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.470 * [taylor]: Taking taylor expansion of (- x) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.471 * [taylor]: Taking taylor expansion of 2 in x 0.471 * [taylor]: Taking taylor expansion of (cosh x) in x 0.471 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.471 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.471 * [taylor]: Taking taylor expansion of (exp x) in x 0.471 * [taylor]: Taking taylor expansion of x in x 0.471 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.471 * [taylor]: Taking taylor expansion of (- x) in x 0.471 * [taylor]: Taking taylor expansion of x in x 0.472 * [taylor]: Taking taylor expansion of 2 in x 0.492 * [approximate]: Taking taylor expansion of (cosh (/ 1 x)) in (x) around 0 0.492 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.492 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.492 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.492 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.492 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.492 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.493 * [taylor]: Taking taylor expansion of x in x 0.493 * [taylor]: Taking taylor expansion of 2 in x 0.493 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.493 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.493 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.493 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.493 * [taylor]: Taking taylor expansion of x in x 0.494 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.494 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.494 * [taylor]: Taking taylor expansion of x in x 0.494 * [taylor]: Taking taylor expansion of 2 in x 0.505 * [approximate]: Taking taylor expansion of (cosh (/ -1 x)) in (x) around 0 0.505 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.505 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.505 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.505 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.505 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.505 * [taylor]: Taking taylor expansion of -1 in x 0.505 * [taylor]: Taking taylor expansion of x in x 0.506 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.506 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.506 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.506 * [taylor]: Taking taylor expansion of -1 in x 0.506 * [taylor]: Taking taylor expansion of x in x 0.506 * [taylor]: Taking taylor expansion of 2 in x 0.506 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.507 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.507 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.507 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.507 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.507 * [taylor]: Taking taylor expansion of -1 in x 0.507 * [taylor]: Taking taylor expansion of x in x 0.507 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.507 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.507 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.507 * [taylor]: Taking taylor expansion of -1 in x 0.507 * [taylor]: Taking taylor expansion of x in x 0.508 * [taylor]: Taking taylor expansion of 2 in x 0.518 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.518 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 0.518 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 0.518 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 0.518 * [taylor]: Taking taylor expansion of (sin y) in y 0.518 * [taylor]: Taking taylor expansion of y in y 0.518 * [taylor]: Taking taylor expansion of (cosh x) in y 0.518 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.518 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 0.518 * [taylor]: Taking taylor expansion of (exp x) in y 0.518 * [taylor]: Taking taylor expansion of x in y 0.518 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.518 * [taylor]: Taking taylor expansion of (- x) in y 0.518 * [taylor]: Taking taylor expansion of x in y 0.518 * [taylor]: Taking taylor expansion of 2 in y 0.518 * [taylor]: Taking taylor expansion of y in y 0.521 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 0.521 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 0.521 * [taylor]: Taking taylor expansion of (sin y) in x 0.521 * [taylor]: Taking taylor expansion of y in x 0.522 * [taylor]: Taking taylor expansion of (cosh x) in x 0.522 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.522 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.522 * [taylor]: Taking taylor expansion of (exp x) in x 0.522 * [taylor]: Taking taylor expansion of x in x 0.522 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.522 * [taylor]: Taking taylor expansion of (- x) in x 0.522 * [taylor]: Taking taylor expansion of x in x 0.522 * [taylor]: Taking taylor expansion of 2 in x 0.523 * [taylor]: Taking taylor expansion of y in x 0.523 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 0.523 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 0.523 * [taylor]: Taking taylor expansion of (sin y) in x 0.523 * [taylor]: Taking taylor expansion of y in x 0.523 * [taylor]: Taking taylor expansion of (cosh x) in x 0.523 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.523 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.523 * [taylor]: Taking taylor expansion of (exp x) in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.523 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.523 * [taylor]: Taking taylor expansion of (- x) in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.524 * [taylor]: Taking taylor expansion of 2 in x 0.524 * [taylor]: Taking taylor expansion of y in x 0.524 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.524 * [taylor]: Taking taylor expansion of (sin y) in y 0.524 * [taylor]: Taking taylor expansion of y in y 0.524 * [taylor]: Taking taylor expansion of y in y 0.529 * [taylor]: Taking taylor expansion of 0 in y 0.536 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 0.536 * [taylor]: Taking taylor expansion of 1/2 in y 0.536 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.536 * [taylor]: Taking taylor expansion of (sin y) in y 0.536 * [taylor]: Taking taylor expansion of y in y 0.536 * [taylor]: Taking taylor expansion of y in y 0.539 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 0.539 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 0.539 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 0.539 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.539 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.539 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.539 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.539 * [taylor]: Taking taylor expansion of x in y 0.539 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.539 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.539 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.539 * [taylor]: Taking taylor expansion of x in y 0.539 * [taylor]: Taking taylor expansion of 2 in y 0.539 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.539 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.540 * [taylor]: Taking taylor expansion of y in y 0.540 * [taylor]: Taking taylor expansion of y in y 0.540 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 0.540 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.540 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.540 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.540 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.540 * [taylor]: Taking taylor expansion of x in x 0.540 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.540 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.540 * [taylor]: Taking taylor expansion of x in x 0.541 * [taylor]: Taking taylor expansion of 2 in x 0.541 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.541 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.541 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.541 * [taylor]: Taking taylor expansion of y in x 0.541 * [taylor]: Taking taylor expansion of y in x 0.541 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 0.541 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.541 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.541 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.541 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.541 * [taylor]: Taking taylor expansion of x in x 0.542 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.542 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.542 * [taylor]: Taking taylor expansion of x in x 0.542 * [taylor]: Taking taylor expansion of 2 in x 0.543 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.543 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.543 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.543 * [taylor]: Taking taylor expansion of y in x 0.543 * [taylor]: Taking taylor expansion of y in x 0.543 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 0.543 * [taylor]: Taking taylor expansion of 1/2 in y 0.543 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 0.543 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.543 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.543 * [taylor]: Taking taylor expansion of y in y 0.543 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 0.543 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.543 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.543 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.543 * [taylor]: Taking taylor expansion of x in y 0.544 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.544 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.544 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.544 * [taylor]: Taking taylor expansion of x in y 0.544 * [taylor]: Taking taylor expansion of y in y 0.547 * [taylor]: Taking taylor expansion of 0 in y 0.554 * [taylor]: Taking taylor expansion of 0 in y 0.563 * [taylor]: Taking taylor expansion of 0 in y 0.564 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 0.564 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 0.564 * [taylor]: Taking taylor expansion of -1 in y 0.564 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 0.564 * [taylor]: Taking taylor expansion of y in y 0.564 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 0.564 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.564 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.564 * [taylor]: Taking taylor expansion of -1 in y 0.564 * [taylor]: Taking taylor expansion of y in y 0.564 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 0.564 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.564 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 0.564 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.564 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.564 * [taylor]: Taking taylor expansion of -1 in y 0.565 * [taylor]: Taking taylor expansion of x in y 0.565 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 0.565 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 0.565 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.565 * [taylor]: Taking taylor expansion of -1 in y 0.565 * [taylor]: Taking taylor expansion of x in y 0.565 * [taylor]: Taking taylor expansion of 2 in y 0.565 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 0.565 * [taylor]: Taking taylor expansion of -1 in x 0.565 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 0.565 * [taylor]: Taking taylor expansion of y in x 0.565 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 0.565 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.565 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.565 * [taylor]: Taking taylor expansion of -1 in x 0.565 * [taylor]: Taking taylor expansion of y in x 0.565 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.565 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.565 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.565 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.565 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.565 * [taylor]: Taking taylor expansion of -1 in x 0.565 * [taylor]: Taking taylor expansion of x in x 0.566 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.566 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.566 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.566 * [taylor]: Taking taylor expansion of -1 in x 0.566 * [taylor]: Taking taylor expansion of x in x 0.566 * [taylor]: Taking taylor expansion of 2 in x 0.566 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 0.566 * [taylor]: Taking taylor expansion of -1 in x 0.566 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 0.567 * [taylor]: Taking taylor expansion of y in x 0.567 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 0.567 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.567 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.567 * [taylor]: Taking taylor expansion of -1 in x 0.567 * [taylor]: Taking taylor expansion of y in x 0.567 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.567 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.567 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.567 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.567 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.567 * [taylor]: Taking taylor expansion of -1 in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.567 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.567 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.567 * [taylor]: Taking taylor expansion of -1 in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.568 * [taylor]: Taking taylor expansion of 2 in x 0.568 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 0.568 * [taylor]: Taking taylor expansion of -1/2 in y 0.569 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 0.569 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.569 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.569 * [taylor]: Taking taylor expansion of -1 in y 0.569 * [taylor]: Taking taylor expansion of y in y 0.569 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 0.569 * [taylor]: Taking taylor expansion of y in y 0.569 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 0.569 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.569 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.569 * [taylor]: Taking taylor expansion of x in y 0.569 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.569 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.569 * [taylor]: Taking taylor expansion of -1 in y 0.569 * [taylor]: Taking taylor expansion of x in y 0.573 * [taylor]: Taking taylor expansion of 0 in y 0.583 * [taylor]: Taking taylor expansion of 0 in y 0.593 * [taylor]: Taking taylor expansion of 0 in y 0.594 * * * [progress]: simplifying candidates 0.594 * [simplify]: Simplifying using # : (- 1) (- (/ y (sin y))) (/ 1 (/ y (sin y))) (/ (/ y (sin y)) 1) (/ 1 y) (/ 1 y) (/ 1 (- y)) (/ 1 1) (- y) (- (sin y)) (/ 1 (sin y)) (/ (sin y) y) (+ (exp x) (exp (- x))) (* (+ (exp x) (exp (- x))) 1) (* 2 (/ y (sin y))) (* (+ (exp x) (exp (- x))) (- 1)) (* 2 (- (/ y (sin y)))) (* (+ (exp x) (exp (- x))) 1) (* 2 (/ (/ y (sin y)) 1)) (* (+ (exp x) (exp (- x))) (/ 1 y)) (* 2 (/ 1 (sin y))) (* (cosh x) 1) (* (cosh x) (/ 1 y)) (* (cosh x) (/ 1 (- y))) (* (cosh x) (/ 1 1)) (* (cosh x) 1) (* (cosh x) (- 1)) (* (cosh x) 1) (* (cosh x) (/ 1 y)) (* (+ (exp x) (exp (- x))) (/ 1 (/ y (sin y)))) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1)) (/ y (sin y)) (/ y (sin y)) (+ (* 1/2 (pow x 2)) (+ (* 1/24 (pow x 4)) 1)) (* 1/2 (+ (exp x) (exp (- x)))) (* 1/2 (+ (exp (* -1 x)) (exp x))) (- (+ (* 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) 0.598 * * [simplify]: iteration 0 : 182 enodes (cost 134 ) 0.602 * * [simplify]: iteration 1 : 628 enodes (cost 117 ) 0.617 * * [simplify]: iteration 2 : 3377 enodes (cost 101 ) 0.685 * * [simplify]: iteration 3 : 5001 enodes (cost 101 ) 0.686 * [simplify]: Simplified to: (- 1) (- (/ y (sin y))) (/ (sin y) y) (/ y (sin y)) (/ 1 y) (/ 1 y) (/ 1 (- y)) 1 (- y) (- (sin y)) (/ 1 (sin y)) (/ (sin y) y) (* 2 (cosh x)) (* 2 (cosh x)) (* (/ y (sin y)) 2) (* (- (cosh x)) 2) (* 2 (- (/ y (sin y)))) (* 2 (cosh x)) (* (/ y (sin y)) 2) (/ (* 2 (cosh x)) y) (/ 2 (sin y)) (cosh x) (/ (cosh x) y) (/ (cosh x) (- y)) (cosh x) (cosh x) (- (cosh x)) (cosh x) (/ (cosh x) y) (/ (* (* 2 (cosh x)) (sin y)) y) (fma (pow y 4) 1/120 (- 1 (* 1/6 (pow y 2)))) (/ (sin y) y) (/ (sin y) y) (fma 1/6 (pow y 2) (fma 7/360 (pow y 4) 1)) (/ y (sin y)) (/ y (sin y)) (fma 1/2 (pow x 2) (fma 1/24 (pow x 4) 1)) (cosh x) (cosh x) (fma (pow x 2) 1/2 (- 1 (* 1/6 (pow y 2)))) (/ 1/2 (/ y (* (sin y) (* 2 (cosh x))))) (/ 1/2 (/ y (* (sin y) (* 2 (cosh x))))) 0.686 * * * [progress]: adding candidates to table 0.757 * * [progress]: iteration 3 / 4 0.757 * * * [progress]: picking best candidate 0.762 * * * * [pick]: Picked # 0.762 * * * [progress]: localizing error 0.772 * * * [progress]: generating rewritten candidates 0.772 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.776 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 0.779 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.780 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.789 * * * [progress]: generating series expansions 0.790 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.790 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 0.790 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.790 * [taylor]: Taking taylor expansion of (sin y) in y 0.790 * [taylor]: Taking taylor expansion of y in y 0.790 * [taylor]: Taking taylor expansion of y in y 0.791 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.791 * [taylor]: Taking taylor expansion of (sin y) in y 0.791 * [taylor]: Taking taylor expansion of y in y 0.791 * [taylor]: Taking taylor expansion of y in y 0.798 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 0.798 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.798 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.798 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.798 * [taylor]: Taking taylor expansion of y in y 0.799 * [taylor]: Taking taylor expansion of y in y 0.799 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.799 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.799 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.799 * [taylor]: Taking taylor expansion of y in y 0.799 * [taylor]: Taking taylor expansion of y in y 0.803 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.803 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.803 * [taylor]: Taking taylor expansion of -1 in y 0.803 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.803 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.803 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.803 * [taylor]: Taking taylor expansion of -1 in y 0.803 * [taylor]: Taking taylor expansion of y in y 0.803 * [taylor]: Taking taylor expansion of y in y 0.803 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.803 * [taylor]: Taking taylor expansion of -1 in y 0.804 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.804 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.804 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.804 * [taylor]: Taking taylor expansion of -1 in y 0.804 * [taylor]: Taking taylor expansion of y in y 0.804 * [taylor]: Taking taylor expansion of y in y 0.815 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 0.815 * [approximate]: Taking taylor expansion of (/ 1 (sin y)) in (y) around 0 0.815 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 0.815 * [taylor]: Taking taylor expansion of (sin y) in y 0.815 * [taylor]: Taking taylor expansion of y in y 0.816 * [taylor]: Taking taylor expansion of (/ 1 (sin y)) in y 0.816 * [taylor]: Taking taylor expansion of (sin y) in y 0.816 * [taylor]: Taking taylor expansion of y in y 0.823 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in (y) around 0 0.823 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 0.823 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.823 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.823 * [taylor]: Taking taylor expansion of y in y 0.824 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 y))) in y 0.824 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.824 * [taylor]: Taking taylor expansion of y in y 0.826 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in (y) around 0 0.826 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 0.826 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.826 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.826 * [taylor]: Taking taylor expansion of -1 in y 0.826 * [taylor]: Taking taylor expansion of y in y 0.826 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 y))) in y 0.826 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.826 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.826 * [taylor]: Taking taylor expansion of -1 in y 0.826 * [taylor]: Taking taylor expansion of y in y 0.828 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 0.828 * [approximate]: Taking taylor expansion of (cosh x) in (x) around 0 0.828 * [taylor]: Taking taylor expansion of (cosh x) in x 0.828 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.828 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.828 * [taylor]: Taking taylor expansion of (exp x) in x 0.828 * [taylor]: Taking taylor expansion of x in x 0.828 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.828 * [taylor]: Taking taylor expansion of (- x) in x 0.828 * [taylor]: Taking taylor expansion of x in x 0.829 * [taylor]: Taking taylor expansion of 2 in x 0.829 * [taylor]: Taking taylor expansion of (cosh x) in x 0.829 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.829 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.829 * [taylor]: Taking taylor expansion of (exp x) in x 0.829 * [taylor]: Taking taylor expansion of x in x 0.829 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.829 * [taylor]: Taking taylor expansion of (- x) in x 0.829 * [taylor]: Taking taylor expansion of x in x 0.830 * [taylor]: Taking taylor expansion of 2 in x 0.846 * [approximate]: Taking taylor expansion of (cosh (/ 1 x)) in (x) around 0 0.846 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.846 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.846 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.846 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.846 * [taylor]: Taking taylor expansion of x in x 0.847 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.847 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.847 * [taylor]: Taking taylor expansion of 2 in x 0.847 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.847 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.848 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.848 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.848 * [taylor]: Taking taylor expansion of x in x 0.848 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.848 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.848 * [taylor]: Taking taylor expansion of x in x 0.848 * [taylor]: Taking taylor expansion of 2 in x 0.858 * [approximate]: Taking taylor expansion of (cosh (/ -1 x)) in (x) around 0 0.858 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.858 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.858 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.858 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.858 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.859 * [taylor]: Taking taylor expansion of -1 in x 0.859 * [taylor]: Taking taylor expansion of x in x 0.859 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.859 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.859 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.859 * [taylor]: Taking taylor expansion of -1 in x 0.859 * [taylor]: Taking taylor expansion of x in x 0.860 * [taylor]: Taking taylor expansion of 2 in x 0.860 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.860 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.860 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.860 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.860 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.860 * [taylor]: Taking taylor expansion of -1 in x 0.860 * [taylor]: Taking taylor expansion of x in x 0.860 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.860 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.860 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.860 * [taylor]: Taking taylor expansion of -1 in x 0.860 * [taylor]: Taking taylor expansion of x in x 0.861 * [taylor]: Taking taylor expansion of 2 in x 0.874 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.874 * [approximate]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in (x y) around 0 0.874 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 0.874 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 0.874 * [taylor]: Taking taylor expansion of (sin y) in y 0.874 * [taylor]: Taking taylor expansion of y in y 0.874 * [taylor]: Taking taylor expansion of (cosh x) in y 0.874 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.874 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 0.874 * [taylor]: Taking taylor expansion of (exp x) in y 0.874 * [taylor]: Taking taylor expansion of x in y 0.874 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.874 * [taylor]: Taking taylor expansion of (- x) in y 0.874 * [taylor]: Taking taylor expansion of x in y 0.875 * [taylor]: Taking taylor expansion of 2 in y 0.875 * [taylor]: Taking taylor expansion of y in y 0.878 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 0.878 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 0.878 * [taylor]: Taking taylor expansion of (sin y) in x 0.878 * [taylor]: Taking taylor expansion of y in x 0.878 * [taylor]: Taking taylor expansion of (cosh x) in x 0.878 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.878 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.878 * [taylor]: Taking taylor expansion of (exp x) in x 0.878 * [taylor]: Taking taylor expansion of x in x 0.878 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.878 * [taylor]: Taking taylor expansion of (- x) in x 0.878 * [taylor]: Taking taylor expansion of x in x 0.878 * [taylor]: Taking taylor expansion of 2 in x 0.879 * [taylor]: Taking taylor expansion of y in x 0.879 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 0.879 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 0.879 * [taylor]: Taking taylor expansion of (sin y) in x 0.879 * [taylor]: Taking taylor expansion of y in x 0.879 * [taylor]: Taking taylor expansion of (cosh x) in x 0.879 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.879 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.879 * [taylor]: Taking taylor expansion of (exp x) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.879 * [taylor]: Taking taylor expansion of (- x) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.880 * [taylor]: Taking taylor expansion of 2 in x 0.880 * [taylor]: Taking taylor expansion of y in x 0.880 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.880 * [taylor]: Taking taylor expansion of (sin y) in y 0.880 * [taylor]: Taking taylor expansion of y in y 0.880 * [taylor]: Taking taylor expansion of y in y 0.885 * [taylor]: Taking taylor expansion of 0 in y 0.891 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin y) y)) in y 0.891 * [taylor]: Taking taylor expansion of 1/2 in y 0.891 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.891 * [taylor]: Taking taylor expansion of (sin y) in y 0.891 * [taylor]: Taking taylor expansion of y in y 0.891 * [taylor]: Taking taylor expansion of y in y 0.894 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in (x y) around 0 0.894 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 0.894 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 0.894 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.894 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.894 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.894 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.894 * [taylor]: Taking taylor expansion of x in y 0.894 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.894 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.894 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.894 * [taylor]: Taking taylor expansion of x in y 0.894 * [taylor]: Taking taylor expansion of 2 in y 0.894 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.894 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.894 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.894 * [taylor]: Taking taylor expansion of y in y 0.895 * [taylor]: Taking taylor expansion of y in y 0.895 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 0.895 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.895 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.895 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.895 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.895 * [taylor]: Taking taylor expansion of x in x 0.895 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.895 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.895 * [taylor]: Taking taylor expansion of x in x 0.896 * [taylor]: Taking taylor expansion of 2 in x 0.896 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.896 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.896 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.896 * [taylor]: Taking taylor expansion of y in x 0.896 * [taylor]: Taking taylor expansion of y in x 0.896 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 0.896 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.896 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.896 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.896 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.896 * [taylor]: Taking taylor expansion of x in x 0.897 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.897 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.897 * [taylor]: Taking taylor expansion of x in x 0.897 * [taylor]: Taking taylor expansion of 2 in x 0.898 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.898 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.898 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.898 * [taylor]: Taking taylor expansion of y in x 0.898 * [taylor]: Taking taylor expansion of y in x 0.898 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y))) in y 0.898 * [taylor]: Taking taylor expansion of 1/2 in y 0.898 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 0.898 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.898 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.898 * [taylor]: Taking taylor expansion of y in y 0.898 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 0.898 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.898 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.898 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.898 * [taylor]: Taking taylor expansion of x in y 0.899 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.899 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.899 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.899 * [taylor]: Taking taylor expansion of x in y 0.899 * [taylor]: Taking taylor expansion of y in y 0.902 * [taylor]: Taking taylor expansion of 0 in y 0.909 * [taylor]: Taking taylor expansion of 0 in y 0.918 * [taylor]: Taking taylor expansion of 0 in y 0.918 * [approximate]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 0.918 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 0.918 * [taylor]: Taking taylor expansion of -1 in y 0.918 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 0.918 * [taylor]: Taking taylor expansion of y in y 0.918 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 0.918 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.918 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.918 * [taylor]: Taking taylor expansion of -1 in y 0.918 * [taylor]: Taking taylor expansion of y in y 0.919 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 0.919 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.919 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 0.919 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.919 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.919 * [taylor]: Taking taylor expansion of -1 in y 0.919 * [taylor]: Taking taylor expansion of x in y 0.919 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 0.919 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 0.919 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.919 * [taylor]: Taking taylor expansion of -1 in y 0.919 * [taylor]: Taking taylor expansion of x in y 0.919 * [taylor]: Taking taylor expansion of 2 in y 0.919 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 0.919 * [taylor]: Taking taylor expansion of -1 in x 0.919 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 0.919 * [taylor]: Taking taylor expansion of y in x 0.919 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 0.919 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.919 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.919 * [taylor]: Taking taylor expansion of -1 in x 0.919 * [taylor]: Taking taylor expansion of y in x 0.919 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.919 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.919 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.919 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.919 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.919 * [taylor]: Taking taylor expansion of -1 in x 0.919 * [taylor]: Taking taylor expansion of x in x 0.920 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.920 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.920 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.920 * [taylor]: Taking taylor expansion of -1 in x 0.920 * [taylor]: Taking taylor expansion of x in x 0.920 * [taylor]: Taking taylor expansion of 2 in x 0.921 * [taylor]: Taking taylor expansion of (* -1 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 0.921 * [taylor]: Taking taylor expansion of -1 in x 0.921 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 0.921 * [taylor]: Taking taylor expansion of y in x 0.921 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 0.921 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.921 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.921 * [taylor]: Taking taylor expansion of -1 in x 0.921 * [taylor]: Taking taylor expansion of y in x 0.921 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.921 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.921 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.921 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.921 * [taylor]: Taking taylor expansion of -1 in x 0.921 * [taylor]: Taking taylor expansion of x in x 0.921 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.921 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.921 * [taylor]: Taking taylor expansion of -1 in x 0.921 * [taylor]: Taking taylor expansion of x in x 0.922 * [taylor]: Taking taylor expansion of 2 in x 0.923 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 0.923 * [taylor]: Taking taylor expansion of -1/2 in y 0.923 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 0.923 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.923 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.923 * [taylor]: Taking taylor expansion of -1 in y 0.923 * [taylor]: Taking taylor expansion of y in y 0.923 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 0.923 * [taylor]: Taking taylor expansion of y in y 0.923 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 0.923 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.923 * [taylor]: Taking taylor expansion of x in y 0.923 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.923 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.923 * [taylor]: Taking taylor expansion of -1 in y 0.923 * [taylor]: Taking taylor expansion of x in y 0.927 * [taylor]: Taking taylor expansion of 0 in y 0.934 * [taylor]: Taking taylor expansion of 0 in y 0.943 * [taylor]: Taking taylor expansion of 0 in y 0.944 * * * [progress]: simplifying candidates 0.945 * [simplify]: Simplifying using # : (- (/ 1 y)) (- (/ 1 (sin y))) (/ 1 1) (/ (/ 1 y) (/ 1 (sin y))) (/ 1 (/ 1 (sin y))) (/ (/ 1 (sin y)) (/ 1 y)) (/ (/ 1 y) 1) (/ (/ 1 (sin y)) (/ 1 y)) (/ (/ 1 y) 1) (/ (/ 1 y) (- 1)) (/ (/ 1 y) 1) (* (/ 1 (sin y)) y) (* (/ 1 (sin y)) (- y)) (* (/ 1 (sin y)) (/ y 1)) (- 1) (- (sin y)) (/ 1 (sin y)) (/ (sin y) 1) (+ (exp x) (exp (- x))) (* (+ (exp x) (exp (- x))) (/ 1 y)) (* 2 (/ 1 (sin y))) (* (+ (exp x) (exp (- x))) (- (/ 1 y))) (* 2 (- (/ 1 (sin y)))) (* (+ (exp x) (exp (- x))) 1) (* 2 (/ (/ 1 (sin y)) (/ 1 y))) (* (+ (exp x) (exp (- x))) (/ (/ 1 y) 1)) (* 2 (/ 1 (sin y))) (* (+ (exp x) (exp (- x))) 1) (* 2 (/ (/ 1 (sin y)) (/ 1 y))) (* (+ (exp x) (exp (- x))) 1) (* 2 (* (/ 1 (sin y)) y)) (* (+ (exp x) (exp (- x))) (- 1)) (* 2 (* (/ 1 (sin y)) (- y))) (* (+ (exp x) (exp (- x))) 1) (* 2 (* (/ 1 (sin y)) (/ y 1))) (* (cosh x) (/ 1 1)) (* (cosh x) (/ 1 y)) (* (cosh x) (/ (/ 1 y) 1)) (* (cosh x) (/ (/ 1 y) (- 1))) (* (cosh x) (/ (/ 1 y) 1)) (* (cosh x) (/ 1 y)) (* (cosh x) (- (/ 1 y))) (* (cosh x) 1) (* (cosh x) (/ (/ 1 y) 1)) (* (cosh x) 1) (* (cosh x) 1) (* (cosh x) (- 1)) (* (cosh x) 1) (* (+ (exp x) (exp (- x))) (/ (/ 1 y) (/ 1 (sin y)))) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (+ (* 7/360 (pow y 3)) (+ (/ 1 y) (* 1/6 y))) (/ 1 (sin y)) (/ 1 (sin y)) (+ (* 1/2 (pow x 2)) (+ (* 1/24 (pow x 4)) 1)) (* 1/2 (+ (exp x) (exp (- x)))) (* 1/2 (+ (exp (* -1 x)) (exp x))) (- (+ (* 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) 0.949 * * [simplify]: iteration 0 : 232 enodes (cost 204 ) 0.953 * * [simplify]: iteration 1 : 933 enodes (cost 169 ) 0.975 * * [simplify]: iteration 2 : 5001 enodes (cost 144 ) 0.976 * [simplify]: Simplified to: (- (/ 1 y)) (- (/ 1 (sin y))) 1 (/ (sin y) y) (sin y) (/ y (sin y)) (/ 1 y) (/ y (sin y)) (/ 1 y) (/ 1 (- y)) (/ 1 y) (/ y (sin y)) (/ (- y) (sin y)) (/ y (sin y)) (- 1) (- (sin y)) (/ 1 (sin y)) (sin y) (* 2 (cosh x)) (* 2 (/ (cosh x) y)) (/ 2 (sin y)) (* (- (/ (cosh x) y)) 2) (/ (- 2) (sin y)) (* 2 (cosh x)) (/ (* 2 y) (sin y)) (* 2 (/ (cosh x) y)) (/ 2 (sin y)) (* 2 (cosh x)) (/ (* 2 y) (sin y)) (* 2 (cosh x)) (/ (* 2 y) (sin y)) (* (- (cosh x)) 2) (* 2 (/ (- y) (sin y))) (* 2 (cosh x)) (/ (* 2 y) (sin y)) (cosh x) (/ (cosh x) y) (/ (cosh x) y) (/ (cosh x) (- y)) (/ (cosh x) y) (/ (cosh x) y) (- (/ (cosh x) y)) (cosh x) (/ (cosh x) y) (cosh x) (cosh x) (- (cosh x)) (cosh x) (* (* 2 (/ (cosh x) y)) (sin y)) (fma (pow y 4) 1/120 (- 1 (* 1/6 (pow y 2)))) (/ (sin y) y) (/ (sin y) y) (fma (pow y 3) 7/360 (fma y 1/6 (/ 1 y))) (/ 1 (sin y)) (/ 1 (sin y)) (fma 1/2 (pow x 2) (fma 1/24 (pow x 4) 1)) (cosh x) (cosh x) (fma (pow x 2) 1/2 (- 1 (* 1/6 (pow y 2)))) (* (/ (* 1/2 (sin y)) y) (* 2 (cosh x))) (* (/ (* 1/2 (sin y)) y) (* 2 (cosh x))) 0.977 * * * [progress]: adding candidates to table 1.061 * * [progress]: iteration 4 / 4 1.061 * * * [progress]: picking best candidate 1.065 * * * * [pick]: Picked # 1.065 * * * [progress]: localizing error 1.075 * * * [progress]: generating rewritten candidates 1.075 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.080 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2) 1.082 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2 1) 1.084 * * * [progress]: generating series expansions 1.084 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.084 * [approximate]: Taking taylor expansion of (* 2 (/ (* (sin y) (cosh x)) y)) in (x y) around 0 1.084 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sin y) (cosh x)) y)) in y 1.084 * [taylor]: Taking taylor expansion of 2 in y 1.084 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in y 1.084 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in y 1.084 * [taylor]: Taking taylor expansion of (sin y) in y 1.084 * [taylor]: Taking taylor expansion of y in y 1.084 * [taylor]: Taking taylor expansion of (cosh x) in y 1.084 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.084 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 1.084 * [taylor]: Taking taylor expansion of (exp x) in y 1.084 * [taylor]: Taking taylor expansion of x in y 1.084 * [taylor]: Taking taylor expansion of (exp (- x)) in y 1.084 * [taylor]: Taking taylor expansion of (- x) in y 1.084 * [taylor]: Taking taylor expansion of x in y 1.084 * [taylor]: Taking taylor expansion of 2 in y 1.084 * [taylor]: Taking taylor expansion of y in y 1.088 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sin y) (cosh x)) y)) in x 1.088 * [taylor]: Taking taylor expansion of 2 in x 1.088 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 1.088 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 1.088 * [taylor]: Taking taylor expansion of (sin y) in x 1.088 * [taylor]: Taking taylor expansion of y in x 1.088 * [taylor]: Taking taylor expansion of (cosh x) in x 1.088 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.088 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.088 * [taylor]: Taking taylor expansion of (exp x) in x 1.088 * [taylor]: Taking taylor expansion of x in x 1.088 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.088 * [taylor]: Taking taylor expansion of (- x) in x 1.088 * [taylor]: Taking taylor expansion of x in x 1.088 * [taylor]: Taking taylor expansion of 2 in x 1.089 * [taylor]: Taking taylor expansion of y in x 1.089 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sin y) (cosh x)) y)) in x 1.089 * [taylor]: Taking taylor expansion of 2 in x 1.089 * [taylor]: Taking taylor expansion of (/ (* (sin y) (cosh x)) y) in x 1.089 * [taylor]: Taking taylor expansion of (* (sin y) (cosh x)) in x 1.089 * [taylor]: Taking taylor expansion of (sin y) in x 1.089 * [taylor]: Taking taylor expansion of y in x 1.089 * [taylor]: Taking taylor expansion of (cosh x) in x 1.089 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.089 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.089 * [taylor]: Taking taylor expansion of (exp x) in x 1.089 * [taylor]: Taking taylor expansion of x in x 1.089 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.089 * [taylor]: Taking taylor expansion of (- x) in x 1.089 * [taylor]: Taking taylor expansion of x in x 1.092 * [taylor]: Taking taylor expansion of 2 in x 1.092 * [taylor]: Taking taylor expansion of y in x 1.093 * [taylor]: Taking taylor expansion of (* 2 (/ (sin y) y)) in y 1.093 * [taylor]: Taking taylor expansion of 2 in y 1.093 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.093 * [taylor]: Taking taylor expansion of (sin y) in y 1.093 * [taylor]: Taking taylor expansion of y in y 1.093 * [taylor]: Taking taylor expansion of y in y 1.098 * [taylor]: Taking taylor expansion of 0 in y 1.105 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.105 * [taylor]: Taking taylor expansion of (sin y) in y 1.105 * [taylor]: Taking taylor expansion of y in y 1.105 * [taylor]: Taking taylor expansion of y in y 1.108 * [approximate]: Taking taylor expansion of (* 2 (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y))) in (x y) around 0 1.108 * [taylor]: Taking taylor expansion of (* 2 (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y))) in y 1.108 * [taylor]: Taking taylor expansion of 2 in y 1.108 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in y 1.108 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 1.108 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.108 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1.108 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.108 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.108 * [taylor]: Taking taylor expansion of x in y 1.108 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.108 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.108 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.108 * [taylor]: Taking taylor expansion of x in y 1.109 * [taylor]: Taking taylor expansion of 2 in y 1.109 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.109 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.109 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.109 * [taylor]: Taking taylor expansion of y in y 1.109 * [taylor]: Taking taylor expansion of y in y 1.109 * [taylor]: Taking taylor expansion of (* 2 (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y))) in x 1.109 * [taylor]: Taking taylor expansion of 2 in x 1.109 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 1.109 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.109 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.109 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.109 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.109 * [taylor]: Taking taylor expansion of x in x 1.110 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.110 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.110 * [taylor]: Taking taylor expansion of x in x 1.110 * [taylor]: Taking taylor expansion of 2 in x 1.110 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 1.110 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.110 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.110 * [taylor]: Taking taylor expansion of y in x 1.110 * [taylor]: Taking taylor expansion of y in x 1.110 * [taylor]: Taking taylor expansion of (* 2 (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y))) in x 1.111 * [taylor]: Taking taylor expansion of 2 in x 1.111 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* (sin (/ 1 y)) y)) in x 1.111 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.111 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.111 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.111 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.111 * [taylor]: Taking taylor expansion of x in x 1.111 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.111 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.111 * [taylor]: Taking taylor expansion of x in x 1.112 * [taylor]: Taking taylor expansion of 2 in x 1.112 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 1.112 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.112 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.112 * [taylor]: Taking taylor expansion of y in x 1.112 * [taylor]: Taking taylor expansion of y in x 1.112 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) (* (sin (/ 1 y)) y)) in y 1.112 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1.112 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.112 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.112 * [taylor]: Taking taylor expansion of x in y 1.112 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.112 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.112 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.113 * [taylor]: Taking taylor expansion of x in y 1.113 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.113 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.113 * [taylor]: Taking taylor expansion of y in y 1.113 * [taylor]: Taking taylor expansion of y in y 1.116 * [taylor]: Taking taylor expansion of 0 in y 1.123 * [taylor]: Taking taylor expansion of 0 in y 1.132 * [taylor]: Taking taylor expansion of 0 in y 1.132 * [approximate]: Taking taylor expansion of (* -2 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in (x y) around 0 1.132 * [taylor]: Taking taylor expansion of (* -2 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in y 1.132 * [taylor]: Taking taylor expansion of -2 in y 1.132 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in y 1.132 * [taylor]: Taking taylor expansion of y in y 1.132 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in y 1.132 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.133 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.133 * [taylor]: Taking taylor expansion of -1 in y 1.133 * [taylor]: Taking taylor expansion of y in y 1.133 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 1.133 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.133 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 1.133 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.133 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.133 * [taylor]: Taking taylor expansion of -1 in y 1.133 * [taylor]: Taking taylor expansion of x in y 1.133 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 1.133 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 1.133 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.133 * [taylor]: Taking taylor expansion of -1 in y 1.133 * [taylor]: Taking taylor expansion of x in y 1.133 * [taylor]: Taking taylor expansion of 2 in y 1.133 * [taylor]: Taking taylor expansion of (* -2 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 1.133 * [taylor]: Taking taylor expansion of -2 in x 1.133 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 1.134 * [taylor]: Taking taylor expansion of y in x 1.134 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 1.134 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.134 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.134 * [taylor]: Taking taylor expansion of -1 in x 1.134 * [taylor]: Taking taylor expansion of y in x 1.134 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.134 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.134 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.134 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.134 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.134 * [taylor]: Taking taylor expansion of -1 in x 1.134 * [taylor]: Taking taylor expansion of x in x 1.134 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.134 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.134 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.134 * [taylor]: Taking taylor expansion of -1 in x 1.134 * [taylor]: Taking taylor expansion of x in x 1.135 * [taylor]: Taking taylor expansion of 2 in x 1.135 * [taylor]: Taking taylor expansion of (* -2 (* y (* (sin (/ -1 y)) (cosh (/ -1 x))))) in x 1.135 * [taylor]: Taking taylor expansion of -2 in x 1.135 * [taylor]: Taking taylor expansion of (* y (* (sin (/ -1 y)) (cosh (/ -1 x)))) in x 1.135 * [taylor]: Taking taylor expansion of y in x 1.135 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (cosh (/ -1 x))) in x 1.135 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.135 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.135 * [taylor]: Taking taylor expansion of -1 in x 1.135 * [taylor]: Taking taylor expansion of y in x 1.135 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.135 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.135 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.135 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.135 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.135 * [taylor]: Taking taylor expansion of -1 in x 1.135 * [taylor]: Taking taylor expansion of x in x 1.136 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.136 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.136 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.136 * [taylor]: Taking taylor expansion of -1 in x 1.136 * [taylor]: Taking taylor expansion of x in x 1.136 * [taylor]: Taking taylor expansion of 2 in x 1.137 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y 1.137 * [taylor]: Taking taylor expansion of -1 in y 1.137 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 1.137 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.137 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.137 * [taylor]: Taking taylor expansion of -1 in y 1.137 * [taylor]: Taking taylor expansion of y in y 1.137 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 1.137 * [taylor]: Taking taylor expansion of y in y 1.137 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 1.137 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.137 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.137 * [taylor]: Taking taylor expansion of x in y 1.137 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.137 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.138 * [taylor]: Taking taylor expansion of -1 in y 1.138 * [taylor]: Taking taylor expansion of x in y 1.141 * [taylor]: Taking taylor expansion of 0 in y 1.148 * [taylor]: Taking taylor expansion of 0 in y 1.158 * [taylor]: Taking taylor expansion of 0 in y 1.158 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2) 1.158 * [approximate]: Taking taylor expansion of (/ (cosh x) y) in (x y) around 0 1.158 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in y 1.158 * [taylor]: Taking taylor expansion of (cosh x) in y 1.158 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.158 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 1.158 * [taylor]: Taking taylor expansion of (exp x) in y 1.158 * [taylor]: Taking taylor expansion of x in y 1.159 * [taylor]: Taking taylor expansion of (exp (- x)) in y 1.159 * [taylor]: Taking taylor expansion of (- x) in y 1.159 * [taylor]: Taking taylor expansion of x in y 1.159 * [taylor]: Taking taylor expansion of 2 in y 1.159 * [taylor]: Taking taylor expansion of y in y 1.159 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 1.159 * [taylor]: Taking taylor expansion of (cosh x) in x 1.159 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.159 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.159 * [taylor]: Taking taylor expansion of (exp x) in x 1.159 * [taylor]: Taking taylor expansion of x in x 1.159 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.159 * [taylor]: Taking taylor expansion of (- x) in x 1.159 * [taylor]: Taking taylor expansion of x in x 1.159 * [taylor]: Taking taylor expansion of 2 in x 1.160 * [taylor]: Taking taylor expansion of y in x 1.160 * [taylor]: Taking taylor expansion of (/ (cosh x) y) in x 1.160 * [taylor]: Taking taylor expansion of (cosh x) in x 1.160 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.160 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.160 * [taylor]: Taking taylor expansion of (exp x) in x 1.160 * [taylor]: Taking taylor expansion of x in x 1.160 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.160 * [taylor]: Taking taylor expansion of (- x) in x 1.160 * [taylor]: Taking taylor expansion of x in x 1.161 * [taylor]: Taking taylor expansion of 2 in x 1.161 * [taylor]: Taking taylor expansion of y in x 1.161 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.161 * [taylor]: Taking taylor expansion of y in y 1.164 * [taylor]: Taking taylor expansion of 0 in y 1.167 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 1.167 * [taylor]: Taking taylor expansion of 1/2 in y 1.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.167 * [taylor]: Taking taylor expansion of y in y 1.172 * [taylor]: Taking taylor expansion of 0 in y 1.183 * [taylor]: Taking taylor expansion of (* 1/24 (/ 1 y)) in y 1.183 * [taylor]: Taking taylor expansion of 1/24 in y 1.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.183 * [taylor]: Taking taylor expansion of y in y 1.184 * [approximate]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in (x y) around 0 1.184 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in y 1.184 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 1.184 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.184 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1.184 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.184 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.184 * [taylor]: Taking taylor expansion of x in y 1.184 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.184 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.184 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.184 * [taylor]: Taking taylor expansion of x in y 1.184 * [taylor]: Taking taylor expansion of 2 in y 1.185 * [taylor]: Taking taylor expansion of y in y 1.185 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 1.185 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.185 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.185 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.185 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.185 * [taylor]: Taking taylor expansion of x in x 1.185 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.185 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.185 * [taylor]: Taking taylor expansion of x in x 1.186 * [taylor]: Taking taylor expansion of 2 in x 1.186 * [taylor]: Taking taylor expansion of y in x 1.186 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) y) in x 1.186 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.186 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.186 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.186 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.186 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.186 * [taylor]: Taking taylor expansion of x in x 1.186 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.186 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.186 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.186 * [taylor]: Taking taylor expansion of x in x 1.187 * [taylor]: Taking taylor expansion of 2 in x 1.187 * [taylor]: Taking taylor expansion of y in x 1.187 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 1.187 * [taylor]: Taking taylor expansion of 1/2 in y 1.187 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 1.187 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1.187 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.187 * [taylor]: Taking taylor expansion of x in y 1.187 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.187 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.187 * [taylor]: Taking taylor expansion of x in y 1.187 * [taylor]: Taking taylor expansion of y in y 1.189 * [taylor]: Taking taylor expansion of 0 in y 1.193 * [taylor]: Taking taylor expansion of 0 in y 1.198 * [taylor]: Taking taylor expansion of 0 in y 1.198 * [approximate]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in (x y) around 0 1.198 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in y 1.198 * [taylor]: Taking taylor expansion of -1 in y 1.198 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in y 1.198 * [taylor]: Taking taylor expansion of y in y 1.198 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 1.199 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.199 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 1.199 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.199 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.199 * [taylor]: Taking taylor expansion of -1 in y 1.199 * [taylor]: Taking taylor expansion of x in y 1.199 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 1.199 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 1.199 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.199 * [taylor]: Taking taylor expansion of -1 in y 1.199 * [taylor]: Taking taylor expansion of x in y 1.199 * [taylor]: Taking taylor expansion of 2 in y 1.199 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 1.199 * [taylor]: Taking taylor expansion of -1 in x 1.199 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 1.199 * [taylor]: Taking taylor expansion of y in x 1.199 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.199 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.199 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.199 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.199 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.199 * [taylor]: Taking taylor expansion of -1 in x 1.199 * [taylor]: Taking taylor expansion of x in x 1.200 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.200 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.200 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.200 * [taylor]: Taking taylor expansion of -1 in x 1.200 * [taylor]: Taking taylor expansion of x in x 1.200 * [taylor]: Taking taylor expansion of 2 in x 1.200 * [taylor]: Taking taylor expansion of (* -1 (* y (cosh (/ -1 x)))) in x 1.200 * [taylor]: Taking taylor expansion of -1 in x 1.200 * [taylor]: Taking taylor expansion of (* y (cosh (/ -1 x))) in x 1.200 * [taylor]: Taking taylor expansion of y in x 1.200 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.200 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.200 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.201 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.201 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.201 * [taylor]: Taking taylor expansion of -1 in x 1.201 * [taylor]: Taking taylor expansion of x in x 1.201 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.201 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.201 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.201 * [taylor]: Taking taylor expansion of -1 in x 1.201 * [taylor]: Taking taylor expansion of x in x 1.201 * [taylor]: Taking taylor expansion of 2 in x 1.202 * [taylor]: Taking taylor expansion of (* -1/2 (* y (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 1.202 * [taylor]: Taking taylor expansion of -1/2 in y 1.202 * [taylor]: Taking taylor expansion of (* y (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 1.202 * [taylor]: Taking taylor expansion of y in y 1.202 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 1.202 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.202 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.202 * [taylor]: Taking taylor expansion of x in y 1.202 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.202 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.202 * [taylor]: Taking taylor expansion of -1 in y 1.202 * [taylor]: Taking taylor expansion of x in y 1.204 * [taylor]: Taking taylor expansion of 0 in y 1.208 * [taylor]: Taking taylor expansion of 0 in y 1.214 * [taylor]: Taking taylor expansion of 0 in y 1.214 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2 1) 1.214 * [approximate]: Taking taylor expansion of (cosh x) in (x) around 0 1.214 * [taylor]: Taking taylor expansion of (cosh x) in x 1.214 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.214 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.215 * [taylor]: Taking taylor expansion of (exp x) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.215 * [taylor]: Taking taylor expansion of (- x) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of 2 in x 1.216 * [taylor]: Taking taylor expansion of (cosh x) in x 1.216 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.216 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.216 * [taylor]: Taking taylor expansion of (exp x) in x 1.216 * [taylor]: Taking taylor expansion of x in x 1.216 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.216 * [taylor]: Taking taylor expansion of (- x) in x 1.216 * [taylor]: Taking taylor expansion of x in x 1.216 * [taylor]: Taking taylor expansion of 2 in x 1.232 * [approximate]: Taking taylor expansion of (cosh (/ 1 x)) in (x) around 0 1.232 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.232 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.233 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.233 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.233 * [taylor]: Taking taylor expansion of x in x 1.233 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.233 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.233 * [taylor]: Taking taylor expansion of x in x 1.233 * [taylor]: Taking taylor expansion of 2 in x 1.234 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.234 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.234 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.234 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.234 * [taylor]: Taking taylor expansion of x in x 1.234 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.234 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.234 * [taylor]: Taking taylor expansion of x in x 1.235 * [taylor]: Taking taylor expansion of 2 in x 1.245 * [approximate]: Taking taylor expansion of (cosh (/ -1 x)) in (x) around 0 1.245 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.245 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.245 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.245 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.245 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.245 * [taylor]: Taking taylor expansion of -1 in x 1.245 * [taylor]: Taking taylor expansion of x in x 1.245 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.245 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.245 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.245 * [taylor]: Taking taylor expansion of -1 in x 1.245 * [taylor]: Taking taylor expansion of x in x 1.246 * [taylor]: Taking taylor expansion of 2 in x 1.246 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.246 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.246 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.246 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.246 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.246 * [taylor]: Taking taylor expansion of -1 in x 1.246 * [taylor]: Taking taylor expansion of x in x 1.246 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.246 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.246 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.246 * [taylor]: Taking taylor expansion of -1 in x 1.246 * [taylor]: Taking taylor expansion of x in x 1.247 * [taylor]: Taking taylor expansion of 2 in x 1.260 * * * [progress]: simplifying candidates 1.260 * [simplify]: Simplifying using # : (* (/ (cosh x) y) (sin y)) (* (/ 1 y) (sin y)) (* 2 (sin y)) (* 2 (sin y)) (* (* 2 (cosh x)) (sin y)) (* (* 2 (- (cosh x))) (sin y)) (* (* 2 1) (sin y)) (* (* 2 (+ (exp x) (exp (- x)))) (sin y)) (- (cosh x)) (- y) (/ 1 y) (/ y (cosh x)) (* y 2) (+ (exp x) (exp (- x))) (- (+ (pow x 2) 2) (* 1/3 (pow y 2))) (/ (+ (* (sin y) (exp x)) (* (sin y) (exp (- x)))) y) (/ (+ (* (sin y) (exp x)) (* (exp (* -1 x)) (sin y))) y) (+ (* 1/24 (/ (pow x 4) y)) (+ (/ 1 y) (* 1/2 (/ (pow x 2) y)))) (/ (+ (* 1/2 (exp x)) (* 1/2 (exp (- x)))) y) (/ (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (+ (* 1/2 (pow x 2)) (+ (* 1/24 (pow x 4)) 1)) (* 1/2 (+ (exp x) (exp (- x)))) (* 1/2 (+ (exp (* -1 x)) (exp x))) 1.263 * * [simplify]: iteration 0 : 157 enodes (cost 99 ) 1.266 * * [simplify]: iteration 1 : 492 enodes (cost 91 ) 1.276 * * [simplify]: iteration 2 : 2213 enodes (cost 65 ) 1.322 * * [simplify]: iteration 3 : 5002 enodes (cost 65 ) 1.323 * [simplify]: Simplified to: (* (/ (cosh x) y) (sin y)) (/ (sin y) y) (* (sin y) 2) (* (sin y) 2) (* (* 2 (cosh x)) (sin y)) (* (* 2 (- (cosh x))) (sin y)) (* (sin y) 2) (* (sin y) (* (cosh x) 4)) (- (cosh x)) (- y) (/ 1 y) (/ y (cosh x)) (* y 2) (* 2 (cosh x)) (fma x x (- 2 (* 1/3 (pow y 2)))) (/ (sin y) (/ y (* 2 (cosh x)))) (/ (sin y) (/ y (* 2 (cosh x)))) (fma (/ (pow x 4) y) 1/24 (fma 1/2 (/ (pow x 2) y) (/ 1 y))) (/ (cosh x) y) (/ (cosh x) y) (fma 1/2 (pow x 2) (fma 1/24 (pow x 4) 1)) (cosh x) (cosh x) 1.323 * * * [progress]: adding candidates to table 1.372 * [progress]: [Phase 3 of 3] Extracting. 1.372 * * [regime]: Finding splitpoints for: (# # # # #) 1.373 * * * [regime-changes]: Trying 3 branch expressions: ((cosh x) y x) 1.373 * * * * [regimes]: Trying to branch on (cosh x) from (# # # # #) 1.390 * * * * [regimes]: Trying to branch on y from (# # # # #) 1.408 * * * * [regimes]: Trying to branch on x from (# # # # #) 1.428 * * * [regime]: Found split indices: #