25.793 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.093 * * * [progress]: [2/2] Setting up program. 0.096 * [progress]: [Phase 2 of 3] Improving. 0.097 * [simplify]: Simplifying using # : (/ (* (sin x) (sinh y)) x) 0.099 * * [simplify]: iteration 0 : 15 enodes (cost 4 ) 0.100 * * [simplify]: iteration 1 : 32 enodes (cost 4 ) 0.101 * * [simplify]: iteration 2 : 68 enodes (cost 4 ) 0.103 * * [simplify]: iteration 3 : 144 enodes (cost 4 ) 0.105 * * [simplify]: iteration 4 : 278 enodes (cost 4 ) 0.108 * * [simplify]: iteration 5 : 531 enodes (cost 4 ) 0.116 * * [simplify]: iteration 6 : 1543 enodes (cost 4 ) 0.140 * * [simplify]: iteration 7 : 4958 enodes (cost 4 ) 0.170 * * [simplify]: iteration 8 : 5001 enodes (cost 4 ) 0.171 * [simplify]: Simplified to: (/ (* (sin x) (sinh y)) x) 0.171 * * [progress]: iteration 1 / 4 0.171 * * * [progress]: picking best candidate 0.174 * * * * [pick]: Picked # 0.174 * * * [progress]: localizing error 0.181 * * * [progress]: generating rewritten candidates 0.181 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.186 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.190 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 0.192 * * * [progress]: generating series expansions 0.192 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.193 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in (x y) around 0 0.193 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in y 0.193 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y 0.193 * [taylor]: Taking taylor expansion of (sin x) in y 0.193 * [taylor]: Taking taylor expansion of x in y 0.193 * [taylor]: Taking taylor expansion of (sinh y) in y 0.193 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.193 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 0.193 * [taylor]: Taking taylor expansion of (exp y) in y 0.193 * [taylor]: Taking taylor expansion of y in y 0.193 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.193 * [taylor]: Taking taylor expansion of (neg y) in y 0.193 * [taylor]: Taking taylor expansion of y in y 0.193 * [taylor]: Taking taylor expansion of 2 in y 0.193 * [taylor]: Taking taylor expansion of x in y 0.193 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x 0.193 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 0.193 * [taylor]: Taking taylor expansion of (sin x) in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of (sinh y) in x 0.193 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.194 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 0.194 * [taylor]: Taking taylor expansion of (exp y) in x 0.194 * [taylor]: Taking taylor expansion of y in x 0.194 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 0.194 * [taylor]: Taking taylor expansion of (neg y) in x 0.194 * [taylor]: Taking taylor expansion of y in x 0.194 * [taylor]: Taking taylor expansion of 2 in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x 0.194 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 0.194 * [taylor]: Taking taylor expansion of (sin x) in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [taylor]: Taking taylor expansion of (sinh y) in x 0.194 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.194 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 0.194 * [taylor]: Taking taylor expansion of (exp y) in x 0.194 * [taylor]: Taking taylor expansion of y in x 0.195 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 0.195 * [taylor]: Taking taylor expansion of (neg y) in x 0.195 * [taylor]: Taking taylor expansion of y in x 0.195 * [taylor]: Taking taylor expansion of 2 in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) in y 0.195 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y 0.195 * [taylor]: Taking taylor expansion of 1/2 in y 0.195 * [taylor]: Taking taylor expansion of (exp y) in y 0.195 * [taylor]: Taking taylor expansion of y in y 0.195 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg y))) in y 0.195 * [taylor]: Taking taylor expansion of 1/2 in y 0.195 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.195 * [taylor]: Taking taylor expansion of (neg y) in y 0.195 * [taylor]: Taking taylor expansion of y in y 0.196 * [taylor]: Taking taylor expansion of 0 in y 0.198 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (neg y))) (* 1/12 (exp y))) in y 0.198 * [taylor]: Taking taylor expansion of (* 1/12 (exp (neg y))) in y 0.198 * [taylor]: Taking taylor expansion of 1/12 in y 0.198 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.198 * [taylor]: Taking taylor expansion of (neg y) in y 0.198 * [taylor]: Taking taylor expansion of y in y 0.198 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y 0.198 * [taylor]: Taking taylor expansion of 1/12 in y 0.198 * [taylor]: Taking taylor expansion of (exp y) in y 0.198 * [taylor]: Taking taylor expansion of y in y 0.199 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in (x y) around 0 0.199 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in y 0.199 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.199 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.199 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.199 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.199 * [taylor]: Taking taylor expansion of y in y 0.199 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.199 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.199 * [taylor]: Taking taylor expansion of y in y 0.199 * [taylor]: Taking taylor expansion of 2 in y 0.199 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in y 0.199 * [taylor]: Taking taylor expansion of x in y 0.199 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.199 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.199 * [taylor]: Taking taylor expansion of x in y 0.200 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x 0.200 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 0.200 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.200 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 0.200 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 0.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.200 * [taylor]: Taking taylor expansion of y in x 0.200 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 0.200 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 0.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.200 * [taylor]: Taking taylor expansion of y in x 0.200 * [taylor]: Taking taylor expansion of 2 in x 0.200 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.200 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.200 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x 0.200 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 0.200 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.200 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 0.200 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 0.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.200 * [taylor]: Taking taylor expansion of y in x 0.200 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 0.200 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 0.201 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.201 * [taylor]: Taking taylor expansion of y in x 0.201 * [taylor]: Taking taylor expansion of 2 in x 0.201 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x 0.201 * [taylor]: Taking taylor expansion of x in x 0.201 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.201 * [taylor]: Taking taylor expansion of x in x 0.201 * [taylor]: Taking taylor expansion of 0 in y 0.202 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (sin (/ 1 x)))) (* 1/2 (* (exp (neg (/ 1 y))) (sin (/ 1 x))))) in y 0.202 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (sin (/ 1 x)))) in y 0.202 * [taylor]: Taking taylor expansion of 1/2 in y 0.202 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (sin (/ 1 x))) in y 0.202 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.202 * [taylor]: Taking taylor expansion of y in y 0.202 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.202 * [taylor]: Taking taylor expansion of x in y 0.202 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (neg (/ 1 y))) (sin (/ 1 x)))) in y 0.202 * [taylor]: Taking taylor expansion of 1/2 in y 0.202 * [taylor]: Taking taylor expansion of (* (exp (neg (/ 1 y))) (sin (/ 1 x))) in y 0.202 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.202 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.202 * [taylor]: Taking taylor expansion of y in y 0.202 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.202 * [taylor]: Taking taylor expansion of x in y 0.204 * [taylor]: Taking taylor expansion of 0 in y 0.205 * [taylor]: Taking taylor expansion of 0 in y 0.206 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in (x y) around 0 0.206 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in y 0.206 * [taylor]: Taking taylor expansion of -1 in y 0.206 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in y 0.206 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.206 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.206 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 0.206 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.206 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.206 * [taylor]: Taking taylor expansion of -1 in y 0.206 * [taylor]: Taking taylor expansion of y in y 0.206 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 0.206 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 0.206 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.206 * [taylor]: Taking taylor expansion of -1 in y 0.206 * [taylor]: Taking taylor expansion of y in y 0.206 * [taylor]: Taking taylor expansion of 2 in y 0.206 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in y 0.206 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.206 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.206 * [taylor]: Taking taylor expansion of -1 in y 0.206 * [taylor]: Taking taylor expansion of x in y 0.206 * [taylor]: Taking taylor expansion of x in y 0.206 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x 0.206 * [taylor]: Taking taylor expansion of -1 in x 0.207 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x 0.207 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 0.207 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.207 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 0.207 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.207 * [taylor]: Taking taylor expansion of -1 in x 0.207 * [taylor]: Taking taylor expansion of y in x 0.207 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 0.207 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.207 * [taylor]: Taking taylor expansion of -1 in x 0.207 * [taylor]: Taking taylor expansion of y in x 0.207 * [taylor]: Taking taylor expansion of 2 in x 0.207 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x 0.207 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.207 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.207 * [taylor]: Taking taylor expansion of -1 in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x 0.207 * [taylor]: Taking taylor expansion of -1 in x 0.207 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x 0.207 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 0.207 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.207 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 0.207 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.207 * [taylor]: Taking taylor expansion of -1 in x 0.207 * [taylor]: Taking taylor expansion of y in x 0.207 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 0.207 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.208 * [taylor]: Taking taylor expansion of -1 in x 0.208 * [taylor]: Taking taylor expansion of y in x 0.208 * [taylor]: Taking taylor expansion of 2 in x 0.208 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x 0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.208 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.208 * [taylor]: Taking taylor expansion of -1 in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of 0 in y 0.209 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (sin (/ -1 x)))) (* 1/2 (* (sin (/ -1 x)) (exp (/ -1 y))))) in y 0.209 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (sin (/ -1 x)))) in y 0.209 * [taylor]: Taking taylor expansion of 1/2 in y 0.209 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (sin (/ -1 x))) in y 0.209 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.209 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.209 * [taylor]: Taking taylor expansion of y in y 0.209 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.209 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.209 * [taylor]: Taking taylor expansion of -1 in y 0.209 * [taylor]: Taking taylor expansion of x in y 0.209 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (exp (/ -1 y)))) in y 0.209 * [taylor]: Taking taylor expansion of 1/2 in y 0.209 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (exp (/ -1 y))) in y 0.209 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.209 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.209 * [taylor]: Taking taylor expansion of -1 in y 0.209 * [taylor]: Taking taylor expansion of x in y 0.209 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.209 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.209 * [taylor]: Taking taylor expansion of -1 in y 0.209 * [taylor]: Taking taylor expansion of y in y 0.211 * [taylor]: Taking taylor expansion of 0 in y 0.213 * [taylor]: Taking taylor expansion of 0 in y 0.213 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.213 * [approximate]: Taking taylor expansion of (* (sin x) (sinh y)) in (x y) around 0 0.213 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y 0.213 * [taylor]: Taking taylor expansion of (sin x) in y 0.213 * [taylor]: Taking taylor expansion of x in y 0.213 * [taylor]: Taking taylor expansion of (sinh y) in y 0.213 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.213 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 0.214 * [taylor]: Taking taylor expansion of (exp y) in y 0.214 * [taylor]: Taking taylor expansion of y in y 0.214 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.214 * [taylor]: Taking taylor expansion of (neg y) in y 0.214 * [taylor]: Taking taylor expansion of y in y 0.214 * [taylor]: Taking taylor expansion of 2 in y 0.214 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 0.214 * [taylor]: Taking taylor expansion of (sin x) in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.214 * [taylor]: Taking taylor expansion of (sinh y) in x 0.214 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.214 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 0.214 * [taylor]: Taking taylor expansion of (exp y) in x 0.214 * [taylor]: Taking taylor expansion of y in x 0.214 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 0.214 * [taylor]: Taking taylor expansion of (neg y) in x 0.214 * [taylor]: Taking taylor expansion of y in x 0.214 * [taylor]: Taking taylor expansion of 2 in x 0.214 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 0.214 * [taylor]: Taking taylor expansion of (sin x) in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.214 * [taylor]: Taking taylor expansion of (sinh y) in x 0.214 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.214 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 0.214 * [taylor]: Taking taylor expansion of (exp y) in x 0.214 * [taylor]: Taking taylor expansion of y in x 0.214 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 0.214 * [taylor]: Taking taylor expansion of (neg y) in x 0.214 * [taylor]: Taking taylor expansion of y in x 0.215 * [taylor]: Taking taylor expansion of 2 in x 0.215 * [taylor]: Taking taylor expansion of 0 in y 0.215 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) in y 0.215 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y 0.215 * [taylor]: Taking taylor expansion of 1/2 in y 0.215 * [taylor]: Taking taylor expansion of (exp y) in y 0.215 * [taylor]: Taking taylor expansion of y in y 0.215 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg y))) in y 0.215 * [taylor]: Taking taylor expansion of 1/2 in y 0.215 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.215 * [taylor]: Taking taylor expansion of (neg y) in y 0.215 * [taylor]: Taking taylor expansion of y in y 0.216 * [taylor]: Taking taylor expansion of 0 in y 0.217 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (neg y))) (* 1/12 (exp y))) in y 0.217 * [taylor]: Taking taylor expansion of (* 1/12 (exp (neg y))) in y 0.217 * [taylor]: Taking taylor expansion of 1/12 in y 0.217 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.217 * [taylor]: Taking taylor expansion of (neg y) in y 0.217 * [taylor]: Taking taylor expansion of y in y 0.217 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y 0.217 * [taylor]: Taking taylor expansion of 1/12 in y 0.217 * [taylor]: Taking taylor expansion of (exp y) in y 0.217 * [taylor]: Taking taylor expansion of y in y 0.218 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in (x y) around 0 0.218 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in y 0.218 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.219 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.219 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.219 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.219 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.219 * [taylor]: Taking taylor expansion of y in y 0.219 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.219 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.219 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.219 * [taylor]: Taking taylor expansion of y in y 0.219 * [taylor]: Taking taylor expansion of 2 in y 0.219 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.219 * [taylor]: Taking taylor expansion of x in y 0.219 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x 0.219 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 0.219 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.219 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 0.219 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 0.219 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.219 * [taylor]: Taking taylor expansion of y in x 0.219 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 0.219 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 0.219 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.219 * [taylor]: Taking taylor expansion of y in x 0.219 * [taylor]: Taking taylor expansion of 2 in x 0.220 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.220 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x 0.220 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 0.220 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.220 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 0.220 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 0.220 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.220 * [taylor]: Taking taylor expansion of y in x 0.220 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 0.220 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 0.220 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.220 * [taylor]: Taking taylor expansion of y in x 0.220 * [taylor]: Taking taylor expansion of 2 in x 0.220 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.220 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (sin (/ 1 x)))) in y 0.221 * [taylor]: Taking taylor expansion of 1/2 in y 0.221 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (sin (/ 1 x))) in y 0.221 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.221 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.221 * [taylor]: Taking taylor expansion of y in y 0.221 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.221 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.221 * [taylor]: Taking taylor expansion of y in y 0.221 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.221 * [taylor]: Taking taylor expansion of x in y 0.222 * [taylor]: Taking taylor expansion of 0 in y 0.223 * [taylor]: Taking taylor expansion of 0 in y 0.224 * [taylor]: Taking taylor expansion of 0 in y 0.225 * [approximate]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in (x y) around 0 0.225 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in y 0.225 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.225 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.225 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 0.225 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.225 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.225 * [taylor]: Taking taylor expansion of -1 in y 0.225 * [taylor]: Taking taylor expansion of y in y 0.225 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 0.225 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 0.225 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.225 * [taylor]: Taking taylor expansion of -1 in y 0.225 * [taylor]: Taking taylor expansion of y in y 0.225 * [taylor]: Taking taylor expansion of 2 in y 0.225 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.225 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.225 * [taylor]: Taking taylor expansion of -1 in y 0.225 * [taylor]: Taking taylor expansion of x in y 0.225 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x 0.225 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 0.225 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.225 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 0.225 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 0.225 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.225 * [taylor]: Taking taylor expansion of -1 in x 0.225 * [taylor]: Taking taylor expansion of y in x 0.225 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 0.226 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 0.226 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.226 * [taylor]: Taking taylor expansion of -1 in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of 2 in x 0.226 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.226 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.226 * [taylor]: Taking taylor expansion of -1 in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.226 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x 0.226 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 0.226 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.226 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 0.226 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 0.226 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.226 * [taylor]: Taking taylor expansion of -1 in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 0.226 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 0.226 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.226 * [taylor]: Taking taylor expansion of -1 in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of 2 in x 0.226 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.226 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.227 * [taylor]: Taking taylor expansion of -1 in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.227 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y))))) in y 0.227 * [taylor]: Taking taylor expansion of 1/2 in y 0.227 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y)))) in y 0.227 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.227 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.227 * [taylor]: Taking taylor expansion of -1 in y 0.227 * [taylor]: Taking taylor expansion of x in y 0.227 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 0.227 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.227 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.227 * [taylor]: Taking taylor expansion of -1 in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.227 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.227 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.228 * [taylor]: Taking taylor expansion of 0 in y 0.229 * [taylor]: Taking taylor expansion of 0 in y 0.231 * [taylor]: Taking taylor expansion of 0 in y 0.231 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 0.231 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 0.231 * [taylor]: Taking taylor expansion of (sinh y) in y 0.231 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.231 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 0.231 * [taylor]: Taking taylor expansion of (exp y) in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.231 * [taylor]: Taking taylor expansion of (neg y) in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [taylor]: Taking taylor expansion of 2 in y 0.231 * [taylor]: Taking taylor expansion of (sinh y) in y 0.231 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.231 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 0.231 * [taylor]: Taking taylor expansion of (exp y) in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.231 * [taylor]: Taking taylor expansion of (neg y) in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [taylor]: Taking taylor expansion of 2 in y 0.235 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 0.235 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.235 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.235 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.235 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.235 * [taylor]: Taking taylor expansion of y in y 0.235 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.235 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.235 * [taylor]: Taking taylor expansion of y in y 0.235 * [taylor]: Taking taylor expansion of 2 in y 0.235 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.235 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.235 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.235 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.235 * [taylor]: Taking taylor expansion of y in y 0.235 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.235 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.235 * [taylor]: Taking taylor expansion of y in y 0.235 * [taylor]: Taking taylor expansion of 2 in y 0.239 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 0.239 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.239 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.239 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 0.239 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.239 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.240 * [taylor]: Taking taylor expansion of -1 in y 0.240 * [taylor]: Taking taylor expansion of y in y 0.240 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 0.240 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 0.240 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.240 * [taylor]: Taking taylor expansion of -1 in y 0.240 * [taylor]: Taking taylor expansion of y in y 0.240 * [taylor]: Taking taylor expansion of 2 in y 0.240 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.240 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.240 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 0.240 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.240 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.240 * [taylor]: Taking taylor expansion of -1 in y 0.240 * [taylor]: Taking taylor expansion of y in y 0.240 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 0.240 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 0.240 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.240 * [taylor]: Taking taylor expansion of -1 in y 0.240 * [taylor]: Taking taylor expansion of y in y 0.240 * [taylor]: Taking taylor expansion of 2 in y 0.242 * * * [progress]: simplifying candidates 0.242 * [simplify]: Simplifying using # : (- (+ (log (sin x)) (log (sinh y))) (log x)) (- (log (* (sin x) (sinh y))) (log x)) (log (/ (* (sin x) (sinh y)) x)) (exp (/ (* (sin x) (sinh y)) x)) (/ (* (* (* (sin x) (sin x)) (sin x)) (* (* (sinh y) (sinh y)) (sinh y))) (* (* x x) x)) (/ (* (* (* (sin x) (sinh y)) (* (sin x) (sinh y))) (* (sin x) (sinh y))) (* (* x x) x)) (* (cbrt (/ (* (sin x) (sinh y)) x)) (cbrt (/ (* (sin x) (sinh y)) x))) (cbrt (/ (* (sin x) (sinh y)) x)) (* (* (/ (* (sin x) (sinh y)) x) (/ (* (sin x) (sinh y)) x)) (/ (* (sin x) (sinh y)) x)) (sqrt (/ (* (sin x) (sinh y)) x)) (sqrt (/ (* (sin x) (sinh y)) x)) (neg (* (sin x) (sinh y))) (neg x) (/ (sin x) (* (cbrt x) (cbrt x))) (/ (sinh y) (cbrt x)) (/ (sin x) (sqrt x)) (/ (sinh y) (sqrt x)) (/ (sin x) 1) (/ (sinh y) x) (/ 1 x) (/ x (* (sin x) (sinh y))) (/ (* (sin x) (sinh y)) (* (cbrt x) (cbrt x))) (/ (* (sin x) (sinh y)) (sqrt x)) (/ (* (sin x) (sinh y)) 1) (/ x (sinh y)) (* x 2) (* (sin x) (sinh y)) (+ (log (sin x)) (log (sinh y))) (log (* (sin x) (sinh y))) (exp (* (sin x) (sinh y))) (* (* (* (sin x) (sin x)) (sin x)) (* (* (sinh y) (sinh y)) (sinh y))) (* (cbrt (* (sin x) (sinh y))) (cbrt (* (sin x) (sinh y)))) (cbrt (* (sin x) (sinh y))) (* (* (* (sin x) (sinh y)) (* (sin x) (sinh y))) (* (sin x) (sinh y))) (sqrt (* (sin x) (sinh y))) (sqrt (* (sin x) (sinh y))) (* (sqrt (sin x)) (sqrt (sinh y))) (* (sqrt (sin x)) (sqrt (sinh y))) (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (sin x) (sqrt (sinh y))) (* (sin x) 1) (* (cbrt (sin x)) (sinh y)) (* (sqrt (sin x)) (sinh y)) (* (sin x) (sinh y)) (* (sin x) (- (exp y) (exp (neg y)))) (- (exp y) (exp (neg y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (* (* (sinh y) (sinh y)) (sinh y)) (sqrt (sinh y)) (sqrt (sinh y)) (- (+ (* 1/6 (pow y 3)) y) (* 1/6 (* (pow x 2) y))) (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (neg y)) (sin x)))) x) (* -1 (/ (- (* 1/2 (* (sin x) (exp (* -1 y)))) (* 1/2 (* (sin x) (exp y)))) x)) (- (+ (* x y) (* 1/6 (* x (pow y 3)))) (* 1/6 (* (pow x 3) y))) (* 1/2 (* (- (exp y) (exp (neg y))) (sin x))) (* 1/2 (* (- (exp y) (exp (* -1 y))) (sin x))) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* 1/2 (- (exp y) (exp (neg y)))) (* 1/2 (- (exp y) (exp (* -1 y)))) 0.246 * * [simplify]: iteration 0 : 280 enodes (cost 320 ) 0.251 * * [simplify]: iteration 1 : 1233 enodes (cost 272 ) 0.277 * * [simplify]: iteration 2 : 5001 enodes (cost 255 ) 0.279 * [simplify]: Simplified to: (log (/ (* (sin x) (sinh y)) x)) (log (/ (* (sin x) (sinh y)) x)) (log (/ (* (sin x) (sinh y)) x)) (exp (/ (* (sin x) (sinh y)) x)) (pow (/ (* (sin x) (sinh y)) x) 3) (pow (/ (* (sin x) (sinh y)) x) 3) (* (cbrt (/ (* (sin x) (sinh y)) x)) (cbrt (/ (* (sin x) (sinh y)) x))) (cbrt (/ (* (sin x) (sinh y)) x)) (pow (/ (* (sin x) (sinh y)) x) 3) (sqrt (/ (* (sin x) (sinh y)) x)) (sqrt (/ (* (sin x) (sinh y)) x)) (neg (* (sin x) (sinh y))) (neg x) (/ (sin x) (* (cbrt x) (cbrt x))) (/ (sinh y) (cbrt x)) (/ (sin x) (sqrt x)) (/ (sinh y) (sqrt x)) (sin x) (/ (sinh y) x) (/ 1 x) (/ x (* (sin x) (sinh y))) (/ (* (sin x) (sinh y)) (* (cbrt x) (cbrt x))) (/ (* (sin x) (sinh y)) (sqrt x)) (* (sin x) (sinh y)) (/ x (sinh y)) (* x 2) (* (sin x) (sinh y)) (log (* (sin x) (sinh y))) (log (* (sin x) (sinh y))) (exp (* (sin x) (sinh y))) (pow (* (sin x) (sinh y)) 3) (* (cbrt (* (sin x) (sinh y))) (cbrt (* (sin x) (sinh y)))) (cbrt (* (sin x) (sinh y))) (pow (* (sin x) (sinh y)) 3) (sqrt (* (sin x) (sinh y))) (sqrt (* (sin x) (sinh y))) (* (sqrt (sin x)) (sqrt (sinh y))) (* (sqrt (sin x)) (sqrt (sinh y))) (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (sin x) (sqrt (sinh y))) (sin x) (* (cbrt (sin x)) (sinh y)) (* (sqrt (sin x)) (sinh y)) (* (sin x) (sinh y)) (* (- (exp y) (exp (* -1 y))) (sin x)) (- (exp y) (exp (* -1 y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (pow (sinh y) 3) (sqrt (sinh y)) (sqrt (sinh y)) (- (+ (* 1/6 (pow y 3)) y) (* 1/6 (* (pow x 2) y))) (/ (* (sin x) (sinh y)) x) (/ (* (sin x) (sinh y)) x) (+ (* 1/6 (- (* x (pow y 3)) (* (pow x 3) y))) (* x y)) (* (sin x) (sinh y)) (* (sin x) (sinh y)) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* 1/2 (- (exp y) (exp (* -1 y)))) (* 1/2 (- (exp y) (exp (* -1 y)))) 0.279 * * * [progress]: adding candidates to table 0.341 * * [progress]: iteration 2 / 4 0.341 * * * [progress]: picking best candidate 0.362 * * * * [pick]: Picked # 0.362 * * * [progress]: localizing error 0.369 * * * [progress]: generating rewritten candidates 0.369 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.376 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 0.378 * * * [progress]: generating series expansions 0.379 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.379 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in (x y) around 0 0.379 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in y 0.379 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y 0.379 * [taylor]: Taking taylor expansion of (sin x) in y 0.379 * [taylor]: Taking taylor expansion of x in y 0.379 * [taylor]: Taking taylor expansion of (sinh y) in y 0.379 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.379 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 0.379 * [taylor]: Taking taylor expansion of (exp y) in y 0.379 * [taylor]: Taking taylor expansion of y in y 0.379 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.379 * [taylor]: Taking taylor expansion of (neg y) in y 0.379 * [taylor]: Taking taylor expansion of y in y 0.379 * [taylor]: Taking taylor expansion of 2 in y 0.379 * [taylor]: Taking taylor expansion of x in y 0.379 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x 0.379 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 0.379 * [taylor]: Taking taylor expansion of (sin x) in x 0.379 * [taylor]: Taking taylor expansion of x in x 0.380 * [taylor]: Taking taylor expansion of (sinh y) in x 0.380 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.380 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 0.380 * [taylor]: Taking taylor expansion of (exp y) in x 0.380 * [taylor]: Taking taylor expansion of y in x 0.380 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 0.380 * [taylor]: Taking taylor expansion of (neg y) in x 0.380 * [taylor]: Taking taylor expansion of y in x 0.380 * [taylor]: Taking taylor expansion of 2 in x 0.380 * [taylor]: Taking taylor expansion of x in x 0.380 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x 0.380 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 0.380 * [taylor]: Taking taylor expansion of (sin x) in x 0.381 * [taylor]: Taking taylor expansion of x in x 0.381 * [taylor]: Taking taylor expansion of (sinh y) in x 0.381 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.381 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 0.381 * [taylor]: Taking taylor expansion of (exp y) in x 0.381 * [taylor]: Taking taylor expansion of y in x 0.381 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 0.381 * [taylor]: Taking taylor expansion of (neg y) in x 0.381 * [taylor]: Taking taylor expansion of y in x 0.381 * [taylor]: Taking taylor expansion of 2 in x 0.381 * [taylor]: Taking taylor expansion of x in x 0.381 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) in y 0.381 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y 0.381 * [taylor]: Taking taylor expansion of 1/2 in y 0.382 * [taylor]: Taking taylor expansion of (exp y) in y 0.382 * [taylor]: Taking taylor expansion of y in y 0.382 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg y))) in y 0.382 * [taylor]: Taking taylor expansion of 1/2 in y 0.382 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.382 * [taylor]: Taking taylor expansion of (neg y) in y 0.382 * [taylor]: Taking taylor expansion of y in y 0.382 * [taylor]: Taking taylor expansion of 0 in y 0.384 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (neg y))) (* 1/12 (exp y))) in y 0.384 * [taylor]: Taking taylor expansion of (* 1/12 (exp (neg y))) in y 0.384 * [taylor]: Taking taylor expansion of 1/12 in y 0.384 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.384 * [taylor]: Taking taylor expansion of (neg y) in y 0.384 * [taylor]: Taking taylor expansion of y in y 0.384 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y 0.384 * [taylor]: Taking taylor expansion of 1/12 in y 0.384 * [taylor]: Taking taylor expansion of (exp y) in y 0.384 * [taylor]: Taking taylor expansion of y in y 0.385 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in (x y) around 0 0.385 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in y 0.385 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.385 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.385 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.385 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.385 * [taylor]: Taking taylor expansion of y in y 0.385 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.385 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.385 * [taylor]: Taking taylor expansion of y in y 0.385 * [taylor]: Taking taylor expansion of 2 in y 0.386 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in y 0.386 * [taylor]: Taking taylor expansion of x in y 0.386 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.386 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.386 * [taylor]: Taking taylor expansion of x in y 0.386 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x 0.386 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 0.386 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.386 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 0.386 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 0.386 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.386 * [taylor]: Taking taylor expansion of y in x 0.386 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 0.386 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 0.386 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.386 * [taylor]: Taking taylor expansion of y in x 0.386 * [taylor]: Taking taylor expansion of 2 in x 0.386 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.386 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.386 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x 0.386 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 0.386 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.387 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 0.387 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 0.387 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.387 * [taylor]: Taking taylor expansion of y in x 0.387 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 0.387 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 0.387 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.387 * [taylor]: Taking taylor expansion of y in x 0.387 * [taylor]: Taking taylor expansion of 2 in x 0.387 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x 0.387 * [taylor]: Taking taylor expansion of x in x 0.387 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.387 * [taylor]: Taking taylor expansion of x in x 0.387 * [taylor]: Taking taylor expansion of 0 in y 0.388 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (sin (/ 1 x)))) (* 1/2 (* (exp (neg (/ 1 y))) (sin (/ 1 x))))) in y 0.388 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (sin (/ 1 x)))) in y 0.388 * [taylor]: Taking taylor expansion of 1/2 in y 0.388 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (sin (/ 1 x))) in y 0.388 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.388 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.388 * [taylor]: Taking taylor expansion of y in y 0.388 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.388 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.388 * [taylor]: Taking taylor expansion of x in y 0.388 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (neg (/ 1 y))) (sin (/ 1 x)))) in y 0.388 * [taylor]: Taking taylor expansion of 1/2 in y 0.388 * [taylor]: Taking taylor expansion of (* (exp (neg (/ 1 y))) (sin (/ 1 x))) in y 0.388 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.388 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.388 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.388 * [taylor]: Taking taylor expansion of y in y 0.388 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.388 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.388 * [taylor]: Taking taylor expansion of x in y 0.390 * [taylor]: Taking taylor expansion of 0 in y 0.392 * [taylor]: Taking taylor expansion of 0 in y 0.392 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in (x y) around 0 0.392 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in y 0.392 * [taylor]: Taking taylor expansion of -1 in y 0.392 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in y 0.392 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.392 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.392 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 0.392 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.392 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.392 * [taylor]: Taking taylor expansion of -1 in y 0.392 * [taylor]: Taking taylor expansion of y in y 0.392 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 0.392 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 0.392 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.392 * [taylor]: Taking taylor expansion of -1 in y 0.392 * [taylor]: Taking taylor expansion of y in y 0.392 * [taylor]: Taking taylor expansion of 2 in y 0.393 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in y 0.393 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.393 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.393 * [taylor]: Taking taylor expansion of -1 in y 0.393 * [taylor]: Taking taylor expansion of x in y 0.393 * [taylor]: Taking taylor expansion of x in y 0.393 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x 0.393 * [taylor]: Taking taylor expansion of -1 in x 0.393 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x 0.393 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 0.393 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.393 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 0.393 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 0.393 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.393 * [taylor]: Taking taylor expansion of -1 in x 0.393 * [taylor]: Taking taylor expansion of y in x 0.393 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 0.393 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 0.393 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.393 * [taylor]: Taking taylor expansion of -1 in x 0.393 * [taylor]: Taking taylor expansion of y in x 0.393 * [taylor]: Taking taylor expansion of 2 in x 0.393 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x 0.393 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.393 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.393 * [taylor]: Taking taylor expansion of -1 in x 0.393 * [taylor]: Taking taylor expansion of x in x 0.393 * [taylor]: Taking taylor expansion of x in x 0.393 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x 0.393 * [taylor]: Taking taylor expansion of -1 in x 0.393 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x 0.394 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 0.394 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.394 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 0.394 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 0.394 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.394 * [taylor]: Taking taylor expansion of -1 in x 0.394 * [taylor]: Taking taylor expansion of y in x 0.394 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 0.394 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 0.394 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.394 * [taylor]: Taking taylor expansion of -1 in x 0.394 * [taylor]: Taking taylor expansion of y in x 0.394 * [taylor]: Taking taylor expansion of 2 in x 0.394 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x 0.394 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.394 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.394 * [taylor]: Taking taylor expansion of -1 in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.394 * [taylor]: Taking taylor expansion of 0 in y 0.395 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (sin (/ -1 x)))) (* 1/2 (* (sin (/ -1 x)) (exp (/ -1 y))))) in y 0.395 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (sin (/ -1 x)))) in y 0.395 * [taylor]: Taking taylor expansion of 1/2 in y 0.395 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (sin (/ -1 x))) in y 0.395 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.395 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.395 * [taylor]: Taking taylor expansion of y in y 0.395 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.395 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.395 * [taylor]: Taking taylor expansion of -1 in y 0.395 * [taylor]: Taking taylor expansion of x in y 0.395 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (exp (/ -1 y)))) in y 0.395 * [taylor]: Taking taylor expansion of 1/2 in y 0.395 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (exp (/ -1 y))) in y 0.395 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.395 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.395 * [taylor]: Taking taylor expansion of -1 in y 0.396 * [taylor]: Taking taylor expansion of x in y 0.396 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.396 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.396 * [taylor]: Taking taylor expansion of -1 in y 0.396 * [taylor]: Taking taylor expansion of y in y 0.397 * [taylor]: Taking taylor expansion of 0 in y 0.400 * [taylor]: Taking taylor expansion of 0 in y 0.400 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 0.400 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 0.400 * [taylor]: Taking taylor expansion of (sinh y) in y 0.400 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.400 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 0.400 * [taylor]: Taking taylor expansion of (exp y) in y 0.400 * [taylor]: Taking taylor expansion of y in y 0.400 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.400 * [taylor]: Taking taylor expansion of (neg y) in y 0.400 * [taylor]: Taking taylor expansion of y in y 0.400 * [taylor]: Taking taylor expansion of 2 in y 0.400 * [taylor]: Taking taylor expansion of (sinh y) in y 0.400 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.400 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 0.400 * [taylor]: Taking taylor expansion of (exp y) in y 0.401 * [taylor]: Taking taylor expansion of y in y 0.401 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.401 * [taylor]: Taking taylor expansion of (neg y) in y 0.401 * [taylor]: Taking taylor expansion of y in y 0.401 * [taylor]: Taking taylor expansion of 2 in y 0.404 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 0.404 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.404 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.404 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.404 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.404 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.404 * [taylor]: Taking taylor expansion of y in y 0.404 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.404 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.404 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.404 * [taylor]: Taking taylor expansion of y in y 0.404 * [taylor]: Taking taylor expansion of 2 in y 0.404 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.404 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.404 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.405 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.405 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.405 * [taylor]: Taking taylor expansion of y in y 0.405 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.405 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.405 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.405 * [taylor]: Taking taylor expansion of y in y 0.405 * [taylor]: Taking taylor expansion of 2 in y 0.406 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 0.406 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.406 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.406 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 0.406 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.406 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.406 * [taylor]: Taking taylor expansion of -1 in y 0.406 * [taylor]: Taking taylor expansion of y in y 0.406 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 0.406 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 0.406 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.406 * [taylor]: Taking taylor expansion of -1 in y 0.406 * [taylor]: Taking taylor expansion of y in y 0.406 * [taylor]: Taking taylor expansion of 2 in y 0.407 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.407 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.407 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 0.407 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.407 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.407 * [taylor]: Taking taylor expansion of -1 in y 0.407 * [taylor]: Taking taylor expansion of y in y 0.407 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 0.407 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 0.407 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.407 * [taylor]: Taking taylor expansion of -1 in y 0.407 * [taylor]: Taking taylor expansion of y in y 0.407 * [taylor]: Taking taylor expansion of 2 in y 0.408 * * * [progress]: simplifying candidates 0.409 * [simplify]: Simplifying using # : (* (sin x) (/ (sinh y) x)) (+ (log (sin x)) (- (log (sinh y)) (log x))) (+ (log (sin x)) (log (/ (sinh y) x))) (log (* (sin x) (/ (sinh y) x))) (exp (* (sin x) (/ (sinh y) x))) (* (* (* (sin x) (sin x)) (sin x)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* x x) x))) (* (* (* (sin x) (sin x)) (sin x)) (* (* (/ (sinh y) x) (/ (sinh y) x)) (/ (sinh y) x))) (* (cbrt (* (sin x) (/ (sinh y) x))) (cbrt (* (sin x) (/ (sinh y) x)))) (cbrt (* (sin x) (/ (sinh y) x))) (* (* (* (sin x) (/ (sinh y) x)) (* (sin x) (/ (sinh y) x))) (* (sin x) (/ (sinh y) x))) (sqrt (* (sin x) (/ (sinh y) x))) (sqrt (* (sin x) (/ (sinh y) x))) (* (sqrt (sin x)) (sqrt (/ (sinh y) x))) (* (sqrt (sin x)) (sqrt (/ (sinh y) x))) (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt x))) (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt x))) (* (sin x) (* (cbrt (/ (sinh y) x)) (cbrt (/ (sinh y) x)))) (* (sin x) (sqrt (/ (sinh y) x))) (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt x) (cbrt x)))) (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt x))) (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)) (* (sin x) (/ (sqrt (sinh y)) (* (cbrt x) (cbrt x)))) (* (sin x) (/ (sqrt (sinh y)) (sqrt x))) (* (sin x) (/ (sqrt (sinh y)) 1)) (* (sin x) (/ 1 (* (cbrt x) (cbrt x)))) (* (sin x) (/ 1 (sqrt x))) (* (sin x) (/ 1 1)) (* (sin x) 1) (* (sin x) (sinh y)) (* (cbrt (sin x)) (/ (sinh y) x)) (* (sqrt (sin x)) (/ (sinh y) x)) (* (sin x) (/ (sinh y) x)) (* (sin x) (sinh y)) (- (exp y) (exp (neg y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (* (* (sinh y) (sinh y)) (sinh y)) (sqrt (sinh y)) (sqrt (sinh y)) (- (+ (* 1/6 (pow y 3)) y) (* 1/6 (* (pow x 2) y))) (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (neg y)) (sin x)))) x) (* -1 (/ (- (* 1/2 (* (sin x) (exp (* -1 y)))) (* 1/2 (* (sin x) (exp y)))) x)) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* 1/2 (- (exp y) (exp (neg y)))) (* 1/2 (- (exp y) (exp (* -1 y)))) 0.414 * * [simplify]: iteration 0 : 271 enodes (cost 276 ) 0.419 * * [simplify]: iteration 1 : 1124 enodes (cost 241 ) 0.444 * * [simplify]: iteration 2 : 5001 enodes (cost 232 ) 0.448 * [simplify]: Simplified to: (* (sin x) (/ (sinh y) x)) (log (* (sin x) (/ (sinh y) x))) (log (* (sin x) (/ (sinh y) x))) (log (* (sin x) (/ (sinh y) x))) (exp (* (sin x) (/ (sinh y) x))) (pow (* (sin x) (/ (sinh y) x)) 3) (pow (* (sin x) (/ (sinh y) x)) 3) (* (cbrt (* (sin x) (/ (sinh y) x))) (cbrt (* (sin x) (/ (sinh y) x)))) (cbrt (* (sin x) (/ (sinh y) x))) (pow (* (sin x) (/ (sinh y) x)) 3) (sqrt (* (sin x) (/ (sinh y) x))) (sqrt (* (sin x) (/ (sinh y) x))) (* (sqrt (sin x)) (sqrt (/ (sinh y) x))) (* (sqrt (sin x)) (sqrt (/ (sinh y) x))) (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt x))) (* (sqrt (sin x)) (/ (sqrt (sinh y)) (sqrt x))) (* (sin x) (* (cbrt (/ (sinh y) x)) (cbrt (/ (sinh y) x)))) (* (sin x) (sqrt (/ (sinh y) x))) (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt x) (cbrt x)))) (* (sin x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt x))) (* (* (cbrt (sinh y)) (cbrt (sinh y))) (sin x)) (* (sin x) (/ (sqrt (sinh y)) (* (cbrt x) (cbrt x)))) (* (sin x) (/ (sqrt (sinh y)) (sqrt x))) (* (sqrt (sinh y)) (sin x)) (/ (sin x) (* (cbrt x) (cbrt x))) (/ (sin x) (sqrt x)) (sin x) (sin x) (* (sin x) (sinh y)) (* (cbrt (sin x)) (/ (sinh y) x)) (* (sqrt (sin x)) (/ (sinh y) x)) (* (sin x) (/ (sinh y) x)) (* (sin x) (sinh y)) (- (exp y) (exp (* -1 y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (pow (sinh y) 3) (sqrt (sinh y)) (sqrt (sinh y)) (- (+ (* 1/6 (pow y 3)) y) (* 1/6 (* (pow x 2) y))) (* (sin x) (/ (sinh y) x)) (* (sin x) (/ (sinh y) x)) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* 1/2 (- (exp y) (exp (* -1 y)))) (* 1/2 (- (exp y) (exp (* -1 y)))) 0.448 * * * [progress]: adding candidates to table 0.486 * * [progress]: iteration 3 / 4 0.486 * * * [progress]: picking best candidate 0.505 * * * * [pick]: Picked # 0.505 * * * [progress]: localizing error 0.517 * * * [progress]: generating rewritten candidates 0.517 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.519 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.522 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.524 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.532 * * * [progress]: generating series expansions 0.532 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.532 * [approximate]: Taking taylor expansion of (pow (sin x) 1/3) in (x) around 0 0.532 * [taylor]: Taking taylor expansion of (pow (sin x) 1/3) in x 0.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin x)))) in x 0.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin x))) in x 0.532 * [taylor]: Taking taylor expansion of 1/3 in x 0.532 * [taylor]: Taking taylor expansion of (log (sin x)) in x 0.532 * [taylor]: Taking taylor expansion of (sin x) in x 0.532 * [taylor]: Taking taylor expansion of x in x 0.532 * [taylor]: Taking taylor expansion of (pow (sin x) 1/3) in x 0.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin x)))) in x 0.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin x))) in x 0.532 * [taylor]: Taking taylor expansion of 1/3 in x 0.532 * [taylor]: Taking taylor expansion of (log (sin x)) in x 0.532 * [taylor]: Taking taylor expansion of (sin x) in x 0.532 * [taylor]: Taking taylor expansion of x in x 0.536 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 1/3) in (x) around 0 0.536 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 1/3) in x 0.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 x))))) in x 0.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 x)))) in x 0.536 * [taylor]: Taking taylor expansion of 1/3 in x 0.536 * [taylor]: Taking taylor expansion of (log (sin (/ 1 x))) in x 0.536 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.536 * [taylor]: Taking taylor expansion of x in x 0.537 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 1/3) in x 0.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 x))))) in x 0.537 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 x)))) in x 0.537 * [taylor]: Taking taylor expansion of 1/3 in x 0.537 * [taylor]: Taking taylor expansion of (log (sin (/ 1 x))) in x 0.537 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.537 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.537 * [taylor]: Taking taylor expansion of x in x 0.544 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 1/3) in (x) around 0 0.544 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 1/3) in x 0.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 x))))) in x 0.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 x)))) in x 0.544 * [taylor]: Taking taylor expansion of 1/3 in x 0.544 * [taylor]: Taking taylor expansion of (log (sin (/ -1 x))) in x 0.544 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.544 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.544 * [taylor]: Taking taylor expansion of -1 in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 1/3) in x 0.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 x))))) in x 0.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 x)))) in x 0.544 * [taylor]: Taking taylor expansion of 1/3 in x 0.544 * [taylor]: Taking taylor expansion of (log (sin (/ -1 x))) in x 0.544 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.544 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.544 * [taylor]: Taking taylor expansion of -1 in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.551 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.551 * [approximate]: Taking taylor expansion of (pow (sin x) 1/3) in (x) around 0 0.551 * [taylor]: Taking taylor expansion of (pow (sin x) 1/3) in x 0.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin x)))) in x 0.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin x))) in x 0.551 * [taylor]: Taking taylor expansion of 1/3 in x 0.551 * [taylor]: Taking taylor expansion of (log (sin x)) in x 0.551 * [taylor]: Taking taylor expansion of (sin x) in x 0.551 * [taylor]: Taking taylor expansion of x in x 0.552 * [taylor]: Taking taylor expansion of (pow (sin x) 1/3) in x 0.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin x)))) in x 0.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin x))) in x 0.552 * [taylor]: Taking taylor expansion of 1/3 in x 0.552 * [taylor]: Taking taylor expansion of (log (sin x)) in x 0.552 * [taylor]: Taking taylor expansion of (sin x) in x 0.552 * [taylor]: Taking taylor expansion of x in x 0.556 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 1/3) in (x) around 0 0.556 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 1/3) in x 0.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 x))))) in x 0.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 x)))) in x 0.556 * [taylor]: Taking taylor expansion of 1/3 in x 0.556 * [taylor]: Taking taylor expansion of (log (sin (/ 1 x))) in x 0.556 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.556 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 1/3) in x 0.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 x))))) in x 0.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 x)))) in x 0.556 * [taylor]: Taking taylor expansion of 1/3 in x 0.556 * [taylor]: Taking taylor expansion of (log (sin (/ 1 x))) in x 0.556 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.564 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 1/3) in (x) around 0 0.564 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 1/3) in x 0.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 x))))) in x 0.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 x)))) in x 0.564 * [taylor]: Taking taylor expansion of 1/3 in x 0.564 * [taylor]: Taking taylor expansion of (log (sin (/ -1 x))) in x 0.564 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.564 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.564 * [taylor]: Taking taylor expansion of -1 in x 0.564 * [taylor]: Taking taylor expansion of x in x 0.564 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 1/3) in x 0.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 x))))) in x 0.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 x)))) in x 0.564 * [taylor]: Taking taylor expansion of 1/3 in x 0.564 * [taylor]: Taking taylor expansion of (log (sin (/ -1 x))) in x 0.564 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.564 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.564 * [taylor]: Taking taylor expansion of -1 in x 0.564 * [taylor]: Taking taylor expansion of x in x 0.571 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.571 * [approximate]: Taking taylor expansion of (pow (sin x) 1/3) in (x) around 0 0.571 * [taylor]: Taking taylor expansion of (pow (sin x) 1/3) in x 0.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin x)))) in x 0.571 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin x))) in x 0.572 * [taylor]: Taking taylor expansion of 1/3 in x 0.572 * [taylor]: Taking taylor expansion of (log (sin x)) in x 0.572 * [taylor]: Taking taylor expansion of (sin x) in x 0.572 * [taylor]: Taking taylor expansion of x in x 0.572 * [taylor]: Taking taylor expansion of (pow (sin x) 1/3) in x 0.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin x)))) in x 0.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin x))) in x 0.572 * [taylor]: Taking taylor expansion of 1/3 in x 0.572 * [taylor]: Taking taylor expansion of (log (sin x)) in x 0.572 * [taylor]: Taking taylor expansion of (sin x) in x 0.572 * [taylor]: Taking taylor expansion of x in x 0.576 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 x)) 1/3) in (x) around 0 0.576 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 1/3) in x 0.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 x))))) in x 0.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 x)))) in x 0.576 * [taylor]: Taking taylor expansion of 1/3 in x 0.576 * [taylor]: Taking taylor expansion of (log (sin (/ 1 x))) in x 0.576 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.576 * [taylor]: Taking taylor expansion of x in x 0.576 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 1/3) in x 0.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 x))))) in x 0.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 x)))) in x 0.576 * [taylor]: Taking taylor expansion of 1/3 in x 0.576 * [taylor]: Taking taylor expansion of (log (sin (/ 1 x))) in x 0.576 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.576 * [taylor]: Taking taylor expansion of x in x 0.583 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 x)) 1/3) in (x) around 0 0.583 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 1/3) in x 0.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 x))))) in x 0.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 x)))) in x 0.583 * [taylor]: Taking taylor expansion of 1/3 in x 0.583 * [taylor]: Taking taylor expansion of (log (sin (/ -1 x))) in x 0.583 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.583 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.583 * [taylor]: Taking taylor expansion of -1 in x 0.583 * [taylor]: Taking taylor expansion of x in x 0.584 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 1/3) in x 0.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 x))))) in x 0.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 x)))) in x 0.584 * [taylor]: Taking taylor expansion of 1/3 in x 0.584 * [taylor]: Taking taylor expansion of (log (sin (/ -1 x))) in x 0.584 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.584 * [taylor]: Taking taylor expansion of -1 in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.591 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.591 * [approximate]: Taking taylor expansion of (pow (pow (sin x) 2) 1/3) in (x) around 0 0.591 * [taylor]: Taking taylor expansion of (pow (pow (sin x) 2) 1/3) in x 0.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin x) 2)))) in x 0.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin x) 2))) in x 0.591 * [taylor]: Taking taylor expansion of 1/3 in x 0.591 * [taylor]: Taking taylor expansion of (log (pow (sin x) 2)) in x 0.591 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 0.591 * [taylor]: Taking taylor expansion of (sin x) in x 0.591 * [taylor]: Taking taylor expansion of x in x 0.591 * [taylor]: Taking taylor expansion of (pow (pow (sin x) 2) 1/3) in x 0.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin x) 2)))) in x 0.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin x) 2))) in x 0.591 * [taylor]: Taking taylor expansion of 1/3 in x 0.591 * [taylor]: Taking taylor expansion of (log (pow (sin x) 2)) in x 0.592 * [taylor]: Taking taylor expansion of (pow (sin x) 2) in x 0.592 * [taylor]: Taking taylor expansion of (sin x) in x 0.592 * [taylor]: Taking taylor expansion of x in x 0.596 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 x)) 2) 1/3) in (x) around 0 0.596 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 x)) 2) 1/3) in x 0.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 x)) 2)))) in x 0.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 x)) 2))) in x 0.596 * [taylor]: Taking taylor expansion of 1/3 in x 0.596 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 x)) 2)) in x 0.596 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 0.596 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.596 * [taylor]: Taking taylor expansion of x in x 0.596 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 x)) 2) 1/3) in x 0.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 x)) 2)))) in x 0.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 x)) 2))) in x 0.597 * [taylor]: Taking taylor expansion of 1/3 in x 0.597 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 x)) 2)) in x 0.597 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 x)) 2) in x 0.597 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.606 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 x)) 2) 1/3) in (x) around 0 0.606 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 x)) 2) 1/3) in x 0.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 x)) 2)))) in x 0.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 x)) 2))) in x 0.606 * [taylor]: Taking taylor expansion of 1/3 in x 0.606 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 x)) 2)) in x 0.606 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 0.606 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.606 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.606 * [taylor]: Taking taylor expansion of -1 in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 x)) 2) 1/3) in x 0.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 x)) 2)))) in x 0.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 x)) 2))) in x 0.606 * [taylor]: Taking taylor expansion of 1/3 in x 0.606 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 x)) 2)) in x 0.606 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 x)) 2) in x 0.606 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.606 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.606 * [taylor]: Taking taylor expansion of -1 in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.616 * * * [progress]: simplifying candidates 0.617 * [simplify]: Simplifying using # : (log (cbrt (sin x))) (exp (cbrt (sin x))) (cbrt (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (cbrt (sin x))) (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x))) (cbrt 1) (cbrt (sin x)) (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x)))) (cbrt (cbrt (sin x))) (* (* (cbrt (sin x)) (cbrt (sin x))) (cbrt (sin x))) (sqrt (cbrt (sin x))) (sqrt (cbrt (sin x))) (log (cbrt (sin x))) (exp (cbrt (sin x))) (cbrt (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (cbrt (sin x))) (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x))) (cbrt 1) (cbrt (sin x)) (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x)))) (cbrt (cbrt (sin x))) (* (* (cbrt (sin x)) (cbrt (sin x))) (cbrt (sin x))) (sqrt (cbrt (sin x))) (sqrt (cbrt (sin x))) (log (cbrt (sin x))) (exp (cbrt (sin x))) (cbrt (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (cbrt (sin x))) (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x))) (cbrt 1) (cbrt (sin x)) (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x)))) (cbrt (cbrt (sin x))) (* (* (cbrt (sin x)) (cbrt (sin x))) (cbrt (sin x))) (sqrt (cbrt (sin x))) (sqrt (cbrt (sin x))) (+ 1/3 1/3) (+ 1 1) (* (sin x) (sin x)) (* (cbrt (sin x)) (cbrt (sin x))) (+ 1 1) (+ (log (cbrt (sin x))) (log (cbrt (sin x)))) (log (* (cbrt (sin x)) (cbrt (sin x)))) (exp (* (cbrt (sin x)) (cbrt (sin x)))) (* (sin x) (sin x)) (* (cbrt (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (* (cbrt (sin x)) (cbrt (sin x))))) (cbrt (* (cbrt (sin x)) (cbrt (sin x)))) (* (* (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (sqrt (* (cbrt (sin x)) (cbrt (sin x)))) (sqrt (* (cbrt (sin x)) (cbrt (sin x)))) (* (cbrt (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (* (cbrt (sin x)) (cbrt (sin x))))) (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x)))) (* (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x)))) (* (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sin x)) (cbrt (sin x))) (* (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x)))) (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x))))) (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x)))) (* (sqrt (cbrt (sin x))) (sqrt (cbrt (sin x)))) (* (sqrt (cbrt (sin x))) (sqrt (cbrt (sin x)))) (* 1 1) (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x)))) (* (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x)))) (* (cbrt (sqrt (sin x))) (sqrt (cbrt (sin x)))) (* (cbrt (sqrt (sin x))) (sqrt (cbrt (sin x)))) (* (sqrt (cbrt (sin x))) (cbrt (sqrt (sin x)))) (* (sqrt (cbrt (sin x))) (cbrt (sqrt (sin x)))) (* (sqrt (cbrt (sin x))) (sqrt (cbrt (sin x)))) (* (sqrt (cbrt (sin x))) (sqrt (cbrt (sin x)))) (* 2 1/3) (* 2 1) (* (cbrt (sin x)) (cbrt (* (cbrt (sin x)) (cbrt (sin x))))) (* (cbrt (sin x)) (cbrt (sqrt (sin x)))) (* (cbrt (sin x)) (cbrt 1)) (* (cbrt (sin x)) (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x))))) (* (cbrt (sin x)) (sqrt (cbrt (sin x)))) (* (cbrt (sin x)) 1) (* (cbrt (cbrt (sin x))) (cbrt (sin x))) (* (cbrt (sqrt (sin x))) (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x))) (* (cbrt (cbrt (sin x))) (cbrt (sin x))) (* (sqrt (cbrt (sin x))) (cbrt (sin x))) (* (cbrt (sin x)) (cbrt (sin x))) (- (exp (* 1/3 (+ (log 1) (log x)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log 1) (log x)))) (pow x 2))) (* 1/3240 (* (exp (* 1/3 (+ (log 1) (log x)))) (pow x 4))))) (pow (sin x) 1/3) (pow (sin x) 1/3) (- (exp (* 1/3 (+ (log 1) (log x)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log 1) (log x)))) (pow x 2))) (* 1/3240 (* (exp (* 1/3 (+ (log 1) (log x)))) (pow x 4))))) (pow (sin x) 1/3) (pow (sin x) 1/3) (- (exp (* 1/3 (+ (log 1) (log x)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log 1) (log x)))) (pow x 2))) (* 1/3240 (* (exp (* 1/3 (+ (log 1) (log x)))) (pow x 4))))) (pow (sin x) 1/3) (pow (sin x) 1/3) (- (+ (exp (* 1/3 (+ (log 1) (* 2 (log x))))) (* 1/405 (* (exp (* 1/3 (+ (log 1) (* 2 (log x))))) (pow x 4)))) (* 1/9 (* (exp (* 1/3 (+ (log 1) (* 2 (log x))))) (pow x 2)))) (pow (pow (sin x) 2) 1/3) (pow (pow (sin x) 2) 1/3) 0.623 * * [simplify]: iteration 0 : 161 enodes (cost 512 ) 0.628 * * [simplify]: iteration 1 : 596 enodes (cost 460 ) 0.646 * * [simplify]: iteration 2 : 3671 enodes (cost 410 ) 0.731 * * [simplify]: iteration 3 : 5002 enodes (cost 404 ) 0.735 * [simplify]: Simplified to: (log (cbrt (sin x))) (exp (cbrt (sin x))) (cbrt (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (cbrt (sin x))) (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x))) 1 (pow (sin x) 1/3) (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x)))) (cbrt (cbrt (sin x))) (sin x) (sqrt (cbrt (sin x))) (sqrt (cbrt (sin x))) (log (cbrt (sin x))) (exp (cbrt (sin x))) (cbrt (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (cbrt (sin x))) (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x))) 1 (pow (sin x) 1/3) (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x)))) (cbrt (cbrt (sin x))) (sin x) (sqrt (cbrt (sin x))) (sqrt (cbrt (sin x))) (log (cbrt (sin x))) (exp (cbrt (sin x))) (cbrt (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (cbrt (sin x))) (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x))) 1 (pow (sin x) 1/3) (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x)))) (cbrt (cbrt (sin x))) (sin x) (sqrt (cbrt (sin x))) (sqrt (cbrt (sin x))) 2/3 2 (pow (sin x) 2) (pow (sin x) 2/3) 2 (* 2/3 (log (sin x))) (* 2/3 (log (sin x))) (pow (exp 1) (pow (sin x) 2/3)) (pow (sin x) 2) (* (cbrt (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (* (cbrt (sin x)) (cbrt (sin x))))) (cbrt (* (cbrt (sin x)) (cbrt (sin x)))) (pow (sin x) 2) (fabs (pow (sin x) 1/3)) (fabs (pow (sin x) 1/3)) (* (cbrt (* (cbrt (sin x)) (cbrt (sin x)))) (cbrt (* (cbrt (sin x)) (cbrt (sin x))))) (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x)))) (* (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x)))) (* (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x)))) 1 (pow (sin x) 2/3) (pow (cbrt (cbrt (sin x))) 4) (* (cbrt (cbrt (sin x))) (cbrt (cbrt (sin x)))) (pow (sin x) 1/3) (pow (sin x) 1/3) 1 (pow (sin x) 2/3) (* (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x)))) (* (cbrt (sqrt (sin x))) (cbrt (sqrt (sin x)))) (* (cbrt (sqrt (sin x))) (sqrt (cbrt (sin x)))) (* (cbrt (sqrt (sin x))) (sqrt (cbrt (sin x)))) (* (cbrt (sqrt (sin x))) (sqrt (cbrt (sin x)))) (* (cbrt (sqrt (sin x))) (sqrt (cbrt (sin x)))) (pow (sin x) 1/3) (pow (sin x) 1/3) 2/3 2 (* (cbrt (sin x)) (cbrt (* (cbrt (sin x)) (cbrt (sin x))))) (* (cbrt (sin x)) (cbrt (sqrt (sin x)))) (pow (sin x) 1/3) (pow (cbrt (cbrt (sin x))) 5) (pow (sqrt (cbrt (sin x))) 3) (pow (sin x) 1/3) (pow (cbrt (cbrt (sin x))) 4) (* (cbrt (sin x)) (cbrt (sqrt (sin x)))) (pow (sin x) 2/3) (pow (cbrt (cbrt (sin x))) 4) (pow (sqrt (cbrt (sin x))) 3) (pow (sin x) 2/3) (+ (+ (* (pow x 1/3) (pow 1 1/3)) (* (neg (* 1/3240 (pow x 4))) (* (pow x 1/3) (pow 1 1/3)))) (* (neg (* 1/18 (pow x 2))) (* (pow x 1/3) (pow 1 1/3)))) (pow (sin x) 1/3) (pow (sin x) 1/3) (+ (+ (* (pow x 1/3) (pow 1 1/3)) (* (neg (* 1/3240 (pow x 4))) (* (pow x 1/3) (pow 1 1/3)))) (* (neg (* 1/18 (pow x 2))) (* (pow x 1/3) (pow 1 1/3)))) (pow (sin x) 1/3) (pow (sin x) 1/3) (+ (+ (* (pow x 1/3) (pow 1 1/3)) (* (neg (* 1/3240 (pow x 4))) (* (pow x 1/3) (pow 1 1/3)))) (* (neg (* 1/18 (pow x 2))) (* (pow x 1/3) (pow 1 1/3)))) (pow (sin x) 1/3) (pow (sin x) 1/3) (+ (+ (* (pow x 2) (* -1/9 (* (pow x 2/3) (pow 1 1/3)))) (* 1/405 (* (exp (* 1/3 (+ (log 1) (* 2 (log x))))) (pow x 4)))) (* (pow x 2/3) (pow 1 1/3))) (pow (sin x) 2/3) (pow (sin x) 2/3) 0.735 * * * [progress]: adding candidates to table 0.817 * * [progress]: iteration 4 / 4 0.817 * * * [progress]: picking best candidate 0.833 * * * * [pick]: Picked # 0.833 * * * [progress]: localizing error 0.841 * * * [progress]: generating rewritten candidates 0.841 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.850 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.854 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 0.857 * * * [progress]: generating series expansions 0.857 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.857 * [approximate]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in (x y) around 0 0.858 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in y 0.858 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y 0.858 * [taylor]: Taking taylor expansion of (sin x) in y 0.858 * [taylor]: Taking taylor expansion of x in y 0.858 * [taylor]: Taking taylor expansion of (sinh y) in y 0.858 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.858 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 0.858 * [taylor]: Taking taylor expansion of (exp y) in y 0.858 * [taylor]: Taking taylor expansion of y in y 0.858 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.858 * [taylor]: Taking taylor expansion of (neg y) in y 0.858 * [taylor]: Taking taylor expansion of y in y 0.858 * [taylor]: Taking taylor expansion of 2 in y 0.858 * [taylor]: Taking taylor expansion of x in y 0.858 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x 0.858 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 0.858 * [taylor]: Taking taylor expansion of (sin x) in x 0.858 * [taylor]: Taking taylor expansion of x in x 0.858 * [taylor]: Taking taylor expansion of (sinh y) in x 0.858 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.858 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 0.858 * [taylor]: Taking taylor expansion of (exp y) in x 0.858 * [taylor]: Taking taylor expansion of y in x 0.858 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 0.858 * [taylor]: Taking taylor expansion of (neg y) in x 0.858 * [taylor]: Taking taylor expansion of y in x 0.859 * [taylor]: Taking taylor expansion of 2 in x 0.859 * [taylor]: Taking taylor expansion of x in x 0.859 * [taylor]: Taking taylor expansion of (/ (* (sin x) (sinh y)) x) in x 0.859 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 0.859 * [taylor]: Taking taylor expansion of (sin x) in x 0.859 * [taylor]: Taking taylor expansion of x in x 0.859 * [taylor]: Taking taylor expansion of (sinh y) in x 0.859 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.859 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 0.859 * [taylor]: Taking taylor expansion of (exp y) in x 0.859 * [taylor]: Taking taylor expansion of y in x 0.859 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 0.859 * [taylor]: Taking taylor expansion of (neg y) in x 0.859 * [taylor]: Taking taylor expansion of y in x 0.860 * [taylor]: Taking taylor expansion of 2 in x 0.860 * [taylor]: Taking taylor expansion of x in x 0.860 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) in y 0.860 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y 0.860 * [taylor]: Taking taylor expansion of 1/2 in y 0.860 * [taylor]: Taking taylor expansion of (exp y) in y 0.860 * [taylor]: Taking taylor expansion of y in y 0.860 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg y))) in y 0.860 * [taylor]: Taking taylor expansion of 1/2 in y 0.860 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.860 * [taylor]: Taking taylor expansion of (neg y) in y 0.860 * [taylor]: Taking taylor expansion of y in y 0.861 * [taylor]: Taking taylor expansion of 0 in y 0.863 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (neg y))) (* 1/12 (exp y))) in y 0.863 * [taylor]: Taking taylor expansion of (* 1/12 (exp (neg y))) in y 0.863 * [taylor]: Taking taylor expansion of 1/12 in y 0.863 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.863 * [taylor]: Taking taylor expansion of (neg y) in y 0.863 * [taylor]: Taking taylor expansion of y in y 0.863 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y 0.863 * [taylor]: Taking taylor expansion of 1/12 in y 0.863 * [taylor]: Taking taylor expansion of (exp y) in y 0.863 * [taylor]: Taking taylor expansion of y in y 0.864 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in (x y) around 0 0.864 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in y 0.864 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.864 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.864 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.864 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.864 * [taylor]: Taking taylor expansion of y in y 0.864 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.864 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.864 * [taylor]: Taking taylor expansion of y in y 0.864 * [taylor]: Taking taylor expansion of 2 in y 0.865 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in y 0.865 * [taylor]: Taking taylor expansion of x in y 0.865 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.865 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.865 * [taylor]: Taking taylor expansion of x in y 0.865 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x 0.865 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 0.865 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.865 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 0.865 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 0.865 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.865 * [taylor]: Taking taylor expansion of y in x 0.865 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 0.865 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 0.865 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.865 * [taylor]: Taking taylor expansion of y in x 0.865 * [taylor]: Taking taylor expansion of 2 in x 0.866 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* x (sin (/ 1 x)))) in x 0.866 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 0.866 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.866 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 0.866 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 0.866 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.866 * [taylor]: Taking taylor expansion of y in x 0.866 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 0.866 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 0.866 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.866 * [taylor]: Taking taylor expansion of y in x 0.866 * [taylor]: Taking taylor expansion of 2 in x 0.866 * [taylor]: Taking taylor expansion of (* x (sin (/ 1 x))) in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of 0 in y 0.867 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (sin (/ 1 x)))) (* 1/2 (* (exp (neg (/ 1 y))) (sin (/ 1 x))))) in y 0.867 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (sin (/ 1 x)))) in y 0.867 * [taylor]: Taking taylor expansion of 1/2 in y 0.867 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (sin (/ 1 x))) in y 0.867 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.867 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.867 * [taylor]: Taking taylor expansion of y in y 0.867 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.867 * [taylor]: Taking taylor expansion of x in y 0.867 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (neg (/ 1 y))) (sin (/ 1 x)))) in y 0.867 * [taylor]: Taking taylor expansion of 1/2 in y 0.867 * [taylor]: Taking taylor expansion of (* (exp (neg (/ 1 y))) (sin (/ 1 x))) in y 0.867 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.867 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.867 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.867 * [taylor]: Taking taylor expansion of y in y 0.868 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.868 * [taylor]: Taking taylor expansion of x in y 0.869 * [taylor]: Taking taylor expansion of 0 in y 0.871 * [taylor]: Taking taylor expansion of 0 in y 0.871 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in (x y) around 0 0.871 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in y 0.871 * [taylor]: Taking taylor expansion of -1 in y 0.871 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in y 0.871 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.871 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.871 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 0.871 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.871 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.871 * [taylor]: Taking taylor expansion of -1 in y 0.871 * [taylor]: Taking taylor expansion of y in y 0.871 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 0.872 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 0.872 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.872 * [taylor]: Taking taylor expansion of -1 in y 0.872 * [taylor]: Taking taylor expansion of y in y 0.872 * [taylor]: Taking taylor expansion of 2 in y 0.872 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in y 0.872 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.872 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.872 * [taylor]: Taking taylor expansion of -1 in y 0.872 * [taylor]: Taking taylor expansion of x in y 0.872 * [taylor]: Taking taylor expansion of x in y 0.872 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x 0.872 * [taylor]: Taking taylor expansion of -1 in x 0.872 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x 0.872 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 0.872 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.872 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 0.872 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 0.872 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.872 * [taylor]: Taking taylor expansion of -1 in x 0.872 * [taylor]: Taking taylor expansion of y in x 0.872 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 0.872 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 0.872 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.872 * [taylor]: Taking taylor expansion of -1 in x 0.872 * [taylor]: Taking taylor expansion of y in x 0.872 * [taylor]: Taking taylor expansion of 2 in x 0.873 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x 0.873 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.873 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.873 * [taylor]: Taking taylor expansion of -1 in x 0.873 * [taylor]: Taking taylor expansion of x in x 0.873 * [taylor]: Taking taylor expansion of x in x 0.873 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x))) in x 0.873 * [taylor]: Taking taylor expansion of -1 in x 0.873 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* (sin (/ -1 x)) x)) in x 0.873 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 0.873 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.873 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 0.873 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 0.873 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.873 * [taylor]: Taking taylor expansion of -1 in x 0.873 * [taylor]: Taking taylor expansion of y in x 0.873 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 0.873 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 0.873 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.873 * [taylor]: Taking taylor expansion of -1 in x 0.873 * [taylor]: Taking taylor expansion of y in x 0.873 * [taylor]: Taking taylor expansion of 2 in x 0.873 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) x) in x 0.873 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.873 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.873 * [taylor]: Taking taylor expansion of -1 in x 0.873 * [taylor]: Taking taylor expansion of x in x 0.873 * [taylor]: Taking taylor expansion of x in x 0.874 * [taylor]: Taking taylor expansion of 0 in y 0.874 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (exp (/ 1 y)) (sin (/ -1 x)))) (* 1/2 (* (sin (/ -1 x)) (exp (/ -1 y))))) in y 0.874 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ 1 y)) (sin (/ -1 x)))) in y 0.874 * [taylor]: Taking taylor expansion of 1/2 in y 0.874 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (sin (/ -1 x))) in y 0.874 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.874 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.874 * [taylor]: Taking taylor expansion of y in y 0.875 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.875 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.875 * [taylor]: Taking taylor expansion of -1 in y 0.875 * [taylor]: Taking taylor expansion of x in y 0.875 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (exp (/ -1 y)))) in y 0.875 * [taylor]: Taking taylor expansion of 1/2 in y 0.875 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (exp (/ -1 y))) in y 0.875 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.875 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.875 * [taylor]: Taking taylor expansion of -1 in y 0.875 * [taylor]: Taking taylor expansion of x in y 0.875 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.875 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.875 * [taylor]: Taking taylor expansion of -1 in y 0.875 * [taylor]: Taking taylor expansion of y in y 0.877 * [taylor]: Taking taylor expansion of 0 in y 0.878 * [taylor]: Taking taylor expansion of 0 in y 0.879 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.879 * [approximate]: Taking taylor expansion of (* (sin x) (sinh y)) in (x y) around 0 0.879 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in y 0.879 * [taylor]: Taking taylor expansion of (sin x) in y 0.879 * [taylor]: Taking taylor expansion of x in y 0.879 * [taylor]: Taking taylor expansion of (sinh y) in y 0.879 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.879 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 0.879 * [taylor]: Taking taylor expansion of (exp y) in y 0.879 * [taylor]: Taking taylor expansion of y in y 0.879 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.879 * [taylor]: Taking taylor expansion of (neg y) in y 0.879 * [taylor]: Taking taylor expansion of y in y 0.879 * [taylor]: Taking taylor expansion of 2 in y 0.879 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 0.879 * [taylor]: Taking taylor expansion of (sin x) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of (sinh y) in x 0.879 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.879 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 0.879 * [taylor]: Taking taylor expansion of (exp y) in x 0.879 * [taylor]: Taking taylor expansion of y in x 0.880 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 0.880 * [taylor]: Taking taylor expansion of (neg y) in x 0.880 * [taylor]: Taking taylor expansion of y in x 0.880 * [taylor]: Taking taylor expansion of 2 in x 0.880 * [taylor]: Taking taylor expansion of (* (sin x) (sinh y)) in x 0.880 * [taylor]: Taking taylor expansion of (sin x) in x 0.880 * [taylor]: Taking taylor expansion of x in x 0.880 * [taylor]: Taking taylor expansion of (sinh y) in x 0.880 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.880 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in x 0.880 * [taylor]: Taking taylor expansion of (exp y) in x 0.880 * [taylor]: Taking taylor expansion of y in x 0.880 * [taylor]: Taking taylor expansion of (exp (neg y)) in x 0.880 * [taylor]: Taking taylor expansion of (neg y) in x 0.880 * [taylor]: Taking taylor expansion of y in x 0.880 * [taylor]: Taking taylor expansion of 2 in x 0.880 * [taylor]: Taking taylor expansion of 0 in y 0.883 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp y)) (* 1/2 (exp (neg y)))) in y 0.883 * [taylor]: Taking taylor expansion of (* 1/2 (exp y)) in y 0.883 * [taylor]: Taking taylor expansion of 1/2 in y 0.883 * [taylor]: Taking taylor expansion of (exp y) in y 0.883 * [taylor]: Taking taylor expansion of y in y 0.883 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg y))) in y 0.883 * [taylor]: Taking taylor expansion of 1/2 in y 0.883 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.883 * [taylor]: Taking taylor expansion of (neg y) in y 0.883 * [taylor]: Taking taylor expansion of y in y 0.884 * [taylor]: Taking taylor expansion of 0 in y 0.885 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp (neg y))) (* 1/12 (exp y))) in y 0.885 * [taylor]: Taking taylor expansion of (* 1/12 (exp (neg y))) in y 0.885 * [taylor]: Taking taylor expansion of 1/12 in y 0.885 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.885 * [taylor]: Taking taylor expansion of (neg y) in y 0.885 * [taylor]: Taking taylor expansion of y in y 0.885 * [taylor]: Taking taylor expansion of (* 1/12 (exp y)) in y 0.885 * [taylor]: Taking taylor expansion of 1/12 in y 0.885 * [taylor]: Taking taylor expansion of (exp y) in y 0.885 * [taylor]: Taking taylor expansion of y in y 0.886 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in (x y) around 0 0.886 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in y 0.887 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.887 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.887 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.887 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.887 * [taylor]: Taking taylor expansion of y in y 0.887 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.887 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.887 * [taylor]: Taking taylor expansion of y in y 0.887 * [taylor]: Taking taylor expansion of 2 in y 0.887 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.887 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.887 * [taylor]: Taking taylor expansion of x in y 0.887 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x 0.887 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 0.887 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.887 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 0.887 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 0.887 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.887 * [taylor]: Taking taylor expansion of y in x 0.887 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 0.887 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 0.887 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.887 * [taylor]: Taking taylor expansion of y in x 0.888 * [taylor]: Taking taylor expansion of 2 in x 0.888 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.888 * [taylor]: Taking taylor expansion of x in x 0.888 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sin (/ 1 x))) in x 0.888 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x 0.888 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.888 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in x 0.888 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 0.888 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.888 * [taylor]: Taking taylor expansion of y in x 0.888 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in x 0.888 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in x 0.888 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.888 * [taylor]: Taking taylor expansion of y in x 0.888 * [taylor]: Taking taylor expansion of 2 in x 0.888 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.888 * [taylor]: Taking taylor expansion of x in x 0.889 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (sin (/ 1 x)))) in y 0.889 * [taylor]: Taking taylor expansion of 1/2 in y 0.889 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) (sin (/ 1 x))) in y 0.889 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.889 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.889 * [taylor]: Taking taylor expansion of y in y 0.889 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.889 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.889 * [taylor]: Taking taylor expansion of y in y 0.889 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in y 0.889 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.889 * [taylor]: Taking taylor expansion of x in y 0.890 * [taylor]: Taking taylor expansion of 0 in y 0.891 * [taylor]: Taking taylor expansion of 0 in y 0.893 * [taylor]: Taking taylor expansion of 0 in y 0.893 * [approximate]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in (x y) around 0 0.893 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in y 0.893 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.893 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.893 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 0.893 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.893 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.893 * [taylor]: Taking taylor expansion of -1 in y 0.893 * [taylor]: Taking taylor expansion of y in y 0.893 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 0.893 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 0.893 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.893 * [taylor]: Taking taylor expansion of -1 in y 0.893 * [taylor]: Taking taylor expansion of y in y 0.893 * [taylor]: Taking taylor expansion of 2 in y 0.893 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.893 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.893 * [taylor]: Taking taylor expansion of -1 in y 0.893 * [taylor]: Taking taylor expansion of x in y 0.894 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x 0.894 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 0.894 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.894 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 0.894 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 0.894 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.894 * [taylor]: Taking taylor expansion of -1 in x 0.894 * [taylor]: Taking taylor expansion of y in x 0.894 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 0.894 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 0.894 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.894 * [taylor]: Taking taylor expansion of -1 in x 0.894 * [taylor]: Taking taylor expansion of y in x 0.894 * [taylor]: Taking taylor expansion of 2 in x 0.894 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.894 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.894 * [taylor]: Taking taylor expansion of -1 in x 0.894 * [taylor]: Taking taylor expansion of x in x 0.894 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (sin (/ -1 x))) in x 0.894 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x 0.894 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.894 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in x 0.894 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 0.894 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.894 * [taylor]: Taking taylor expansion of -1 in x 0.894 * [taylor]: Taking taylor expansion of y in x 0.894 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in x 0.894 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in x 0.894 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.894 * [taylor]: Taking taylor expansion of -1 in x 0.895 * [taylor]: Taking taylor expansion of y in x 0.895 * [taylor]: Taking taylor expansion of 2 in x 0.895 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.895 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.895 * [taylor]: Taking taylor expansion of -1 in x 0.895 * [taylor]: Taking taylor expansion of x in x 0.895 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y))))) in y 0.895 * [taylor]: Taking taylor expansion of 1/2 in y 0.895 * [taylor]: Taking taylor expansion of (* (sin (/ -1 x)) (- (exp (/ -1 y)) (exp (/ 1 y)))) in y 0.895 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in y 0.895 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.895 * [taylor]: Taking taylor expansion of -1 in y 0.895 * [taylor]: Taking taylor expansion of x in y 0.895 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y 0.895 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.895 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.895 * [taylor]: Taking taylor expansion of -1 in y 0.895 * [taylor]: Taking taylor expansion of y in y 0.895 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.895 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.895 * [taylor]: Taking taylor expansion of y in y 0.896 * [taylor]: Taking taylor expansion of 0 in y 0.897 * [taylor]: Taking taylor expansion of 0 in y 0.899 * [taylor]: Taking taylor expansion of 0 in y 0.899 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 0.899 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 0.899 * [taylor]: Taking taylor expansion of (sinh y) in y 0.899 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.899 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 0.899 * [taylor]: Taking taylor expansion of (exp y) in y 0.899 * [taylor]: Taking taylor expansion of y in y 0.899 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.899 * [taylor]: Taking taylor expansion of (neg y) in y 0.899 * [taylor]: Taking taylor expansion of y in y 0.899 * [taylor]: Taking taylor expansion of 2 in y 0.900 * [taylor]: Taking taylor expansion of (sinh y) in y 0.900 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (neg y))) 2) 0.900 * [taylor]: Taking taylor expansion of (- (exp y) (exp (neg y))) in y 0.900 * [taylor]: Taking taylor expansion of (exp y) in y 0.900 * [taylor]: Taking taylor expansion of y in y 0.900 * [taylor]: Taking taylor expansion of (exp (neg y)) in y 0.900 * [taylor]: Taking taylor expansion of (neg y) in y 0.900 * [taylor]: Taking taylor expansion of y in y 0.900 * [taylor]: Taking taylor expansion of 2 in y 0.903 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 0.903 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.903 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.903 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.903 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.903 * [taylor]: Taking taylor expansion of y in y 0.903 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.903 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.903 * [taylor]: Taking taylor expansion of y in y 0.903 * [taylor]: Taking taylor expansion of 2 in y 0.903 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 0.904 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) 2) 0.904 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (neg (/ 1 y)))) in y 0.904 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 0.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.904 * [taylor]: Taking taylor expansion of y in y 0.904 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 y))) in y 0.904 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.904 * [taylor]: Taking taylor expansion of y in y 0.904 * [taylor]: Taking taylor expansion of 2 in y 0.905 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 0.905 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.905 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.905 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 0.905 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.905 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.905 * [taylor]: Taking taylor expansion of -1 in y 0.905 * [taylor]: Taking taylor expansion of y in y 0.905 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 0.905 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 0.905 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.905 * [taylor]: Taking taylor expansion of -1 in y 0.905 * [taylor]: Taking taylor expansion of y in y 0.905 * [taylor]: Taking taylor expansion of 2 in y 0.906 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 0.906 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) 2) 0.906 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (neg (/ -1 y)))) in y 0.906 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 0.906 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.906 * [taylor]: Taking taylor expansion of -1 in y 0.906 * [taylor]: Taking taylor expansion of y in y 0.906 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 y))) in y 0.906 * [taylor]: Taking taylor expansion of (neg (/ -1 y)) in y 0.906 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.906 * [taylor]: Taking taylor expansion of -1 in y 0.906 * [taylor]: Taking taylor expansion of y in y 0.906 * [taylor]: Taking taylor expansion of 2 in y 0.907 * * * [progress]: simplifying candidates 0.908 * [simplify]: Simplifying using # : (* (* (sin x) (sinh y)) (/ 1 x)) (* (* (sin x) (sinh y)) (/ 1 x)) (+ (+ (log (sin x)) (log (sinh y))) (neg (log x))) (+ (+ (log (sin x)) (log (sinh y))) (- 0 (log x))) (+ (+ (log (sin x)) (log (sinh y))) (- (log 1) (log x))) (+ (+ (log (sin x)) (log (sinh y))) (log (/ 1 x))) (+ (log (* (sin x) (sinh y))) (neg (log x))) (+ (log (* (sin x) (sinh y))) (- 0 (log x))) (+ (log (* (sin x) (sinh y))) (- (log 1) (log x))) (+ (log (* (sin x) (sinh y))) (log (/ 1 x))) (log (* (* (sin x) (sinh y)) (/ 1 x))) (exp (* (* (sin x) (sinh y)) (/ 1 x))) (* (* (* (* (sin x) (sin x)) (sin x)) (* (* (sinh y) (sinh y)) (sinh y))) (/ (* (* 1 1) 1) (* (* x x) x))) (* (* (* (* (sin x) (sin x)) (sin x)) (* (* (sinh y) (sinh y)) (sinh y))) (* (* (/ 1 x) (/ 1 x)) (/ 1 x))) (* (* (* (* (sin x) (sinh y)) (* (sin x) (sinh y))) (* (sin x) (sinh y))) (/ (* (* 1 1) 1) (* (* x x) x))) (* (* (* (* (sin x) (sinh y)) (* (sin x) (sinh y))) (* (sin x) (sinh y))) (* (* (/ 1 x) (/ 1 x)) (/ 1 x))) (* (cbrt (* (* (sin x) (sinh y)) (/ 1 x))) (cbrt (* (* (sin x) (sinh y)) (/ 1 x)))) (cbrt (* (* (sin x) (sinh y)) (/ 1 x))) (* (* (* (* (sin x) (sinh y)) (/ 1 x)) (* (* (sin x) (sinh y)) (/ 1 x))) (* (* (sin x) (sinh y)) (/ 1 x))) (sqrt (* (* (sin x) (sinh y)) (/ 1 x))) (sqrt (* (* (sin x) (sinh y)) (/ 1 x))) (* (* (sin x) (- (exp y) (exp (neg y)))) 1) (* 2 x) (* (* (sin x) (sinh y)) (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) (* (* (sin x) (sinh y)) (sqrt (/ 1 x))) (* (* (sin x) (sinh y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x)))) (* (* (sin x) (sinh y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt x))) (* (* (sin x) (sinh y)) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* (sin x) (sinh y)) (/ (sqrt 1) (* (cbrt x) (cbrt x)))) (* (* (sin x) (sinh y)) (/ (sqrt 1) (sqrt x))) (* (* (sin x) (sinh y)) (/ (sqrt 1) 1)) (* (* (sin x) (sinh y)) (/ 1 (* (cbrt x) (cbrt x)))) (* (* (sin x) (sinh y)) (/ 1 (sqrt x))) (* (* (sin x) (sinh y)) (/ 1 1)) (* (* (sin x) (sinh y)) 1) (* (* (sin x) (sinh y)) 1) (* (sinh y) (/ 1 x)) (* (* (sin x) (sinh y)) 1) (* (* (sin x) (- (exp y) (exp (neg y)))) (/ 1 x)) (* (sin x) (sinh y)) (+ (log (sin x)) (log (sinh y))) (log (* (sin x) (sinh y))) (exp (* (sin x) (sinh y))) (* (* (* (sin x) (sin x)) (sin x)) (* (* (sinh y) (sinh y)) (sinh y))) (* (cbrt (* (sin x) (sinh y))) (cbrt (* (sin x) (sinh y)))) (cbrt (* (sin x) (sinh y))) (* (* (* (sin x) (sinh y)) (* (sin x) (sinh y))) (* (sin x) (sinh y))) (sqrt (* (sin x) (sinh y))) (sqrt (* (sin x) (sinh y))) (* (sqrt (sin x)) (sqrt (sinh y))) (* (sqrt (sin x)) (sqrt (sinh y))) (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (sin x) (sqrt (sinh y))) (* (sin x) 1) (* (cbrt (sin x)) (sinh y)) (* (sqrt (sin x)) (sinh y)) (* (sin x) (sinh y)) (* (sin x) (- (exp y) (exp (neg y)))) (- (exp y) (exp (neg y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (* (* (sinh y) (sinh y)) (sinh y)) (sqrt (sinh y)) (sqrt (sinh y)) (- (+ (* 1/6 (pow y 3)) y) (* 1/6 (* (pow x 2) y))) (/ (- (* 1/2 (* (sin x) (exp y))) (* 1/2 (* (exp (neg y)) (sin x)))) x) (* -1 (/ (- (* 1/2 (* (sin x) (exp (* -1 y)))) (* 1/2 (* (sin x) (exp y)))) x)) (- (+ (* x y) (* 1/6 (* x (pow y 3)))) (* 1/6 (* (pow x 3) y))) (* 1/2 (* (- (exp y) (exp (neg y))) (sin x))) (* 1/2 (* (- (exp y) (exp (* -1 y))) (sin x))) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* 1/2 (- (exp y) (exp (neg y)))) (* 1/2 (- (exp y) (exp (* -1 y)))) 0.913 * * [simplify]: iteration 0 : 418 enodes (cost 471 ) 0.921 * * [simplify]: iteration 1 : 2051 enodes (cost 387 ) 0.955 * * [simplify]: iteration 2 : 5001 enodes (cost 347 ) 0.958 * [simplify]: Simplified to: (/ (* (sin x) (sinh y)) x) (/ (* (sin x) (sinh y)) x) (- (log (* (sin x) (sinh y))) (log x)) (- (log (* (sin x) (sinh y))) (log x)) (- (log (* (sin x) (sinh y))) (log x)) (- (log (* (sin x) (sinh y))) (log x)) (- (log (* (sin x) (sinh y))) (log x)) (- (log (* (sin x) (sinh y))) (log x)) (- (log (* (sin x) (sinh y))) (log x)) (- (log (* (sin x) (sinh y))) (log x)) (- (log (* (sin x) (sinh y))) (log x)) (pow (exp (sin x)) (/ (sinh y) x)) (pow (/ (* (sin x) (sinh y)) x) 3) (pow (/ (* (sin x) (sinh y)) x) 3) (pow (/ (* (sin x) (sinh y)) x) 3) (pow (/ (* (sin x) (sinh y)) x) 3) (* (cbrt (* (* (sin x) (sinh y)) (/ 1 x))) (cbrt (* (* (sin x) (sinh y)) (/ 1 x)))) (cbrt (* (* (sin x) (sinh y)) (/ 1 x))) (pow (/ (* (sin x) (sinh y)) x) 3) (sqrt (* (* (sin x) (sinh y)) (/ 1 x))) (sqrt (* (* (sin x) (sinh y)) (/ 1 x))) (* (/ (sin x) 1/2) (sinh y)) (* 2 x) (* (* (sin x) (sinh y)) (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) (* (* (sin x) (sinh y)) (sqrt (/ 1 x))) (/ (* (sin x) (sinh y)) (* (cbrt x) (cbrt x))) (/ (* (sin x) (sinh y)) (sqrt x)) (* (sin x) (sinh y)) (/ (* (sin x) (sinh y)) (* (cbrt x) (cbrt x))) (/ (* (sin x) (sinh y)) (sqrt x)) (* (sin x) (sinh y)) (/ (* (sin x) (sinh y)) (* (cbrt x) (cbrt x))) (/ (* (sin x) (sinh y)) (sqrt x)) (* (sin x) (sinh y)) (* (sin x) (sinh y)) (* (sin x) (sinh y)) (/ (sinh y) x) (* (sin x) (sinh y)) (/ (* (sin x) (- (exp y) (exp (neg y)))) x) (* (sin x) (sinh y)) (log (* (sin x) (sinh y))) (log (* (sin x) (sinh y))) (exp (* (sin x) (sinh y))) (pow (* (sin x) (sinh y)) 3) (* (cbrt (* (sin x) (sinh y))) (cbrt (* (sin x) (sinh y)))) (cbrt (* (sin x) (sinh y))) (pow (* (sin x) (sinh y)) 3) (sqrt (* (sin x) (sinh y))) (sqrt (* (sin x) (sinh y))) (* (sqrt (sin x)) (sqrt (sinh y))) (* (sqrt (sin x)) (sqrt (sinh y))) (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (* (sin x) (sqrt (sinh y))) (sin x) (* (cbrt (sin x)) (sinh y)) (* (sqrt (sin x)) (sinh y)) (* (sin x) (sinh y)) (* (/ (sin x) 1/2) (sinh y)) (* 2 (sinh y)) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (pow (sinh y) 3) (sqrt (sinh y)) (sqrt (sinh y)) (- (+ (* 1/6 (pow y 3)) y) (* 1/6 (* (pow x 2) y))) (/ (* (sin x) (sinh y)) x) (/ (* -1/2 (* (sin x) (- (exp (* -1 y)) (exp y)))) x) (+ (* 1/6 (- (* x (pow y 3)) (* (pow x 3) y))) (* x y)) (* (sin x) (sinh y)) (* (sin x) (sinh y)) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (sinh y) (sinh y) 0.958 * * * [progress]: adding candidates to table 1.018 * [progress]: [Phase 3 of 3] Extracting. 1.018 * * [regime]: Finding splitpoints for: (# # # # # # # #) 1.019 * * * [regime-changes]: Trying 4 branch expressions: ((sinh y) (/ (* (sin x) (sinh y)) x) y x) 1.019 * * * * [regimes]: Trying to branch on (sinh y) from (# # # # # # # #) 1.080 * * * * [regimes]: Trying to branch on (/ (* (sin x) (sinh y)) x) from (# # # # # # # #) 1.143 * * * * [regimes]: Trying to branch on (/ (* (sin x) (sinh y)) x) from (# #) 1.186 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 1.240 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 1.293 * * * [regime]: Found split indices: #