20.725 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.041 * * * [progress]: [2/2] Setting up program. 0.043 * [progress]: [Phase 2 of 3] Improving. 0.043 * [simplify]: Simplifying using # : (/ (* (cosh x) (/ y x)) z) 0.046 * * [simplify]: iteration 0 : 18 enodes (cost 4 ) 0.047 * * [simplify]: iteration 1 : 41 enodes (cost 4 ) 0.049 * * [simplify]: iteration 2 : 102 enodes (cost 4 ) 0.051 * * [simplify]: iteration 3 : 228 enodes (cost 4 ) 0.055 * * [simplify]: iteration 4 : 411 enodes (cost 4 ) 0.060 * * [simplify]: iteration 5 : 786 enodes (cost 4 ) 0.073 * * [simplify]: iteration 6 : 2469 enodes (cost 4 ) 0.102 * * [simplify]: iteration 7 : 5002 enodes (cost 4 ) 0.102 * [simplify]: Simplified to: (/ (* (cosh x) (/ y x)) z) 0.103 * * [progress]: iteration 1 / 4 0.103 * * * [progress]: picking best candidate 0.105 * * * * [pick]: Picked # 0.105 * * * [progress]: localizing error 0.116 * * * [progress]: generating rewritten candidates 0.116 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.121 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.124 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 0.126 * * * [progress]: generating series expansions 0.126 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.126 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x y z) around 0 0.126 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z 0.126 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 0.126 * [taylor]: Taking taylor expansion of (cosh x) in z 0.126 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.126 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 0.126 * [taylor]: Taking taylor expansion of (exp x) in z 0.126 * [taylor]: Taking taylor expansion of x in z 0.126 * [taylor]: Taking taylor expansion of (exp (- x)) in z 0.126 * [taylor]: Taking taylor expansion of (- x) in z 0.126 * [taylor]: Taking taylor expansion of x in z 0.127 * [taylor]: Taking taylor expansion of 2 in z 0.127 * [taylor]: Taking taylor expansion of y in z 0.127 * [taylor]: Taking taylor expansion of (* x z) in z 0.127 * [taylor]: Taking taylor expansion of x in z 0.127 * [taylor]: Taking taylor expansion of z in z 0.127 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y 0.127 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 0.128 * [taylor]: Taking taylor expansion of (cosh x) in y 0.128 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.128 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 0.128 * [taylor]: Taking taylor expansion of (exp x) in y 0.128 * [taylor]: Taking taylor expansion of x in y 0.128 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.128 * [taylor]: Taking taylor expansion of (- x) in y 0.128 * [taylor]: Taking taylor expansion of x in y 0.128 * [taylor]: Taking taylor expansion of 2 in y 0.128 * [taylor]: Taking taylor expansion of y in y 0.128 * [taylor]: Taking taylor expansion of (* x z) in y 0.128 * [taylor]: Taking taylor expansion of x in y 0.128 * [taylor]: Taking taylor expansion of z in y 0.131 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 0.131 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 0.131 * [taylor]: Taking taylor expansion of (cosh x) in x 0.131 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.131 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.131 * [taylor]: Taking taylor expansion of (exp x) in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.131 * [taylor]: Taking taylor expansion of (- x) in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of 2 in x 0.132 * [taylor]: Taking taylor expansion of y in x 0.132 * [taylor]: Taking taylor expansion of (* x z) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [taylor]: Taking taylor expansion of z in x 0.132 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 0.132 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 0.132 * [taylor]: Taking taylor expansion of (cosh x) in x 0.133 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.133 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.133 * [taylor]: Taking taylor expansion of (exp x) in x 0.133 * [taylor]: Taking taylor expansion of x in x 0.133 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.133 * [taylor]: Taking taylor expansion of (- x) in x 0.133 * [taylor]: Taking taylor expansion of x in x 0.133 * [taylor]: Taking taylor expansion of 2 in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of (* x z) in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of z in x 0.134 * [taylor]: Taking taylor expansion of (/ y z) in y 0.134 * [taylor]: Taking taylor expansion of y in y 0.134 * [taylor]: Taking taylor expansion of z in y 0.134 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.134 * [taylor]: Taking taylor expansion of z in z 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.138 * [taylor]: Taking taylor expansion of 0 in z 0.142 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in y 0.143 * [taylor]: Taking taylor expansion of 1/2 in y 0.143 * [taylor]: Taking taylor expansion of (/ y z) in y 0.143 * [taylor]: Taking taylor expansion of y in y 0.143 * [taylor]: Taking taylor expansion of z in y 0.143 * [taylor]: Taking taylor expansion of (/ 1/2 z) in z 0.143 * [taylor]: Taking taylor expansion of 1/2 in z 0.143 * [taylor]: Taking taylor expansion of z in z 0.143 * [taylor]: Taking taylor expansion of 0 in z 0.143 * [taylor]: Taking taylor expansion of 0 in z 0.150 * [taylor]: Taking taylor expansion of 0 in y 0.150 * [taylor]: Taking taylor expansion of 0 in z 0.150 * [taylor]: Taking taylor expansion of 0 in z 0.150 * [taylor]: Taking taylor expansion of 0 in z 0.150 * [taylor]: Taking taylor expansion of 0 in z 0.151 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x y z) around 0 0.151 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z 0.151 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z 0.151 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 0.151 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.151 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 0.151 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 0.151 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.151 * [taylor]: Taking taylor expansion of x in z 0.151 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 0.151 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 0.151 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.151 * [taylor]: Taking taylor expansion of x in z 0.152 * [taylor]: Taking taylor expansion of 2 in z 0.152 * [taylor]: Taking taylor expansion of (* x z) in z 0.152 * [taylor]: Taking taylor expansion of x in z 0.152 * [taylor]: Taking taylor expansion of z in z 0.152 * [taylor]: Taking taylor expansion of y in z 0.155 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y 0.155 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y 0.155 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 0.155 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.155 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.155 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.155 * [taylor]: Taking taylor expansion of x in y 0.155 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.155 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.155 * [taylor]: Taking taylor expansion of x in y 0.155 * [taylor]: Taking taylor expansion of 2 in y 0.155 * [taylor]: Taking taylor expansion of (* x z) in y 0.155 * [taylor]: Taking taylor expansion of x in y 0.155 * [taylor]: Taking taylor expansion of z in y 0.155 * [taylor]: Taking taylor expansion of y in y 0.156 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 0.156 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 0.156 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.156 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.156 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.156 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.156 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.157 * [taylor]: Taking taylor expansion of 2 in x 0.157 * [taylor]: Taking taylor expansion of (* x z) in x 0.157 * [taylor]: Taking taylor expansion of x in x 0.157 * [taylor]: Taking taylor expansion of z in x 0.157 * [taylor]: Taking taylor expansion of y in x 0.159 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 0.159 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 0.159 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.159 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.159 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.159 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.159 * [taylor]: Taking taylor expansion of x in x 0.159 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.159 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.159 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of 2 in x 0.160 * [taylor]: Taking taylor expansion of (* x z) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of z in x 0.160 * [taylor]: Taking taylor expansion of y in x 0.162 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in y 0.162 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y 0.162 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in y 0.162 * [taylor]: Taking taylor expansion of 1/2 in y 0.162 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in y 0.162 * [taylor]: Taking taylor expansion of z in y 0.162 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.162 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.162 * [taylor]: Taking taylor expansion of x in y 0.162 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 0.162 * [taylor]: Taking taylor expansion of 1/2 in y 0.162 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 0.162 * [taylor]: Taking taylor expansion of z in y 0.162 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.162 * [taylor]: Taking taylor expansion of x in y 0.162 * [taylor]: Taking taylor expansion of y in y 0.163 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z 0.163 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in z 0.163 * [taylor]: Taking taylor expansion of 1/2 in z 0.163 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 0.163 * [taylor]: Taking taylor expansion of z in z 0.163 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 0.163 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 0.163 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.163 * [taylor]: Taking taylor expansion of x in z 0.163 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 0.163 * [taylor]: Taking taylor expansion of 1/2 in z 0.163 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 0.163 * [taylor]: Taking taylor expansion of z in z 0.163 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 0.163 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.163 * [taylor]: Taking taylor expansion of x in z 0.168 * [taylor]: Taking taylor expansion of 0 in y 0.171 * [taylor]: Taking taylor expansion of 0 in z 0.179 * [taylor]: Taking taylor expansion of 0 in y 0.179 * [taylor]: Taking taylor expansion of 0 in z 0.184 * [taylor]: Taking taylor expansion of 0 in z 0.190 * [approximate]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in (x y z) around 0 0.190 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in z 0.190 * [taylor]: Taking taylor expansion of -1 in z 0.190 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in z 0.190 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in z 0.191 * [taylor]: Taking taylor expansion of x in z 0.191 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z 0.191 * [taylor]: Taking taylor expansion of z in z 0.191 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 0.191 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.191 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 0.191 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 0.191 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.191 * [taylor]: Taking taylor expansion of -1 in z 0.191 * [taylor]: Taking taylor expansion of x in z 0.191 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 0.191 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 0.191 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.191 * [taylor]: Taking taylor expansion of -1 in z 0.191 * [taylor]: Taking taylor expansion of x in z 0.191 * [taylor]: Taking taylor expansion of 2 in z 0.191 * [taylor]: Taking taylor expansion of y in z 0.194 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in y 0.194 * [taylor]: Taking taylor expansion of -1 in y 0.194 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in y 0.194 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in y 0.194 * [taylor]: Taking taylor expansion of x in y 0.194 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y 0.194 * [taylor]: Taking taylor expansion of z in y 0.194 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 0.194 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.195 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 0.195 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.195 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.195 * [taylor]: Taking taylor expansion of -1 in y 0.195 * [taylor]: Taking taylor expansion of x in y 0.195 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 0.195 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 0.195 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.195 * [taylor]: Taking taylor expansion of -1 in y 0.195 * [taylor]: Taking taylor expansion of x in y 0.195 * [taylor]: Taking taylor expansion of 2 in y 0.195 * [taylor]: Taking taylor expansion of y in y 0.195 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 0.195 * [taylor]: Taking taylor expansion of -1 in x 0.195 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 0.195 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 0.195 * [taylor]: Taking taylor expansion of z in x 0.195 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.195 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.195 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.195 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.196 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.196 * [taylor]: Taking taylor expansion of -1 in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.196 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.196 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.196 * [taylor]: Taking taylor expansion of -1 in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.202 * [taylor]: Taking taylor expansion of 2 in x 0.202 * [taylor]: Taking taylor expansion of y in x 0.204 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 0.204 * [taylor]: Taking taylor expansion of -1 in x 0.204 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 0.204 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 0.204 * [taylor]: Taking taylor expansion of x in x 0.204 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 0.204 * [taylor]: Taking taylor expansion of z in x 0.204 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.205 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.205 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.205 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.205 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.205 * [taylor]: Taking taylor expansion of -1 in x 0.205 * [taylor]: Taking taylor expansion of x in x 0.205 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.205 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.205 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.205 * [taylor]: Taking taylor expansion of -1 in x 0.205 * [taylor]: Taking taylor expansion of x in x 0.206 * [taylor]: Taking taylor expansion of 2 in x 0.206 * [taylor]: Taking taylor expansion of y in x 0.208 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in y 0.208 * [taylor]: Taking taylor expansion of -1 in y 0.208 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in y 0.208 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y 0.208 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 0.208 * [taylor]: Taking taylor expansion of 1/2 in y 0.208 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 0.208 * [taylor]: Taking taylor expansion of z in y 0.208 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.208 * [taylor]: Taking taylor expansion of x in y 0.208 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y 0.208 * [taylor]: Taking taylor expansion of 1/2 in y 0.208 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y 0.208 * [taylor]: Taking taylor expansion of z in y 0.208 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.208 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.208 * [taylor]: Taking taylor expansion of -1 in y 0.208 * [taylor]: Taking taylor expansion of x in y 0.208 * [taylor]: Taking taylor expansion of y in y 0.209 * [taylor]: Taking taylor expansion of (* -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z 0.209 * [taylor]: Taking taylor expansion of -1 in z 0.209 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z 0.209 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 0.209 * [taylor]: Taking taylor expansion of 1/2 in z 0.209 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 0.209 * [taylor]: Taking taylor expansion of z in z 0.209 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 0.209 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.209 * [taylor]: Taking taylor expansion of x in z 0.209 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z 0.209 * [taylor]: Taking taylor expansion of 1/2 in z 0.209 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 0.209 * [taylor]: Taking taylor expansion of z in z 0.209 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 0.209 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.209 * [taylor]: Taking taylor expansion of -1 in z 0.209 * [taylor]: Taking taylor expansion of x in z 0.215 * [taylor]: Taking taylor expansion of 0 in y 0.219 * [taylor]: Taking taylor expansion of 0 in z 0.227 * [taylor]: Taking taylor expansion of 0 in y 0.227 * [taylor]: Taking taylor expansion of 0 in z 0.232 * [taylor]: Taking taylor expansion of 0 in z 0.239 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.239 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) x) in (x y) around 0 0.239 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in y 0.239 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 0.239 * [taylor]: Taking taylor expansion of (cosh x) in y 0.239 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.239 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 0.239 * [taylor]: Taking taylor expansion of (exp x) in y 0.239 * [taylor]: Taking taylor expansion of x in y 0.239 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.239 * [taylor]: Taking taylor expansion of (- x) in y 0.239 * [taylor]: Taking taylor expansion of x in y 0.239 * [taylor]: Taking taylor expansion of 2 in y 0.239 * [taylor]: Taking taylor expansion of y in y 0.239 * [taylor]: Taking taylor expansion of x in y 0.242 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in x 0.242 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 0.242 * [taylor]: Taking taylor expansion of (cosh x) in x 0.242 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.242 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.242 * [taylor]: Taking taylor expansion of (exp x) in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.242 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.242 * [taylor]: Taking taylor expansion of (- x) in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.242 * [taylor]: Taking taylor expansion of 2 in x 0.243 * [taylor]: Taking taylor expansion of y in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in x 0.243 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 0.243 * [taylor]: Taking taylor expansion of (cosh x) in x 0.243 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.243 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.243 * [taylor]: Taking taylor expansion of (exp x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.243 * [taylor]: Taking taylor expansion of (- x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.244 * [taylor]: Taking taylor expansion of 2 in x 0.244 * [taylor]: Taking taylor expansion of y in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.244 * [taylor]: Taking taylor expansion of y in y 0.247 * [taylor]: Taking taylor expansion of 0 in y 0.251 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.251 * [taylor]: Taking taylor expansion of 1/2 in y 0.251 * [taylor]: Taking taylor expansion of y in y 0.258 * [taylor]: Taking taylor expansion of 0 in y 0.259 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in (x y) around 0 0.259 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in y 0.259 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in y 0.259 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 0.259 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.259 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.259 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.259 * [taylor]: Taking taylor expansion of x in y 0.259 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.259 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.259 * [taylor]: Taking taylor expansion of x in y 0.259 * [taylor]: Taking taylor expansion of 2 in y 0.259 * [taylor]: Taking taylor expansion of x in y 0.259 * [taylor]: Taking taylor expansion of y in y 0.260 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in x 0.260 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in x 0.260 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.260 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.260 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.260 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.260 * [taylor]: Taking taylor expansion of x in x 0.260 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.260 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.260 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of 2 in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of y in x 0.262 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in x 0.263 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in x 0.263 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.263 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.263 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.263 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.263 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of 2 in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of y in x 0.265 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (- (/ 1 x))))) y) in y 0.265 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (- (/ 1 x))))) in y 0.265 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y 0.265 * [taylor]: Taking taylor expansion of 1/2 in y 0.265 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.265 * [taylor]: Taking taylor expansion of x in y 0.265 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- (/ 1 x)))) in y 0.265 * [taylor]: Taking taylor expansion of 1/2 in y 0.265 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.265 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.266 * [taylor]: Taking taylor expansion of x in y 0.266 * [taylor]: Taking taylor expansion of y in y 0.268 * [taylor]: Taking taylor expansion of 0 in y 0.273 * [taylor]: Taking taylor expansion of 0 in y 0.280 * [taylor]: Taking taylor expansion of 0 in y 0.477 * [approximate]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in (x y) around 0 0.477 * [taylor]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in y 0.478 * [taylor]: Taking taylor expansion of (* x (cosh (/ -1 x))) in y 0.478 * [taylor]: Taking taylor expansion of x in y 0.478 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 0.478 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.478 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 0.478 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.478 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.478 * [taylor]: Taking taylor expansion of -1 in y 0.478 * [taylor]: Taking taylor expansion of x in y 0.478 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 0.478 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 0.478 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.478 * [taylor]: Taking taylor expansion of -1 in y 0.478 * [taylor]: Taking taylor expansion of x in y 0.478 * [taylor]: Taking taylor expansion of 2 in y 0.478 * [taylor]: Taking taylor expansion of y in y 0.478 * [taylor]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in x 0.478 * [taylor]: Taking taylor expansion of (* x (cosh (/ -1 x))) in x 0.478 * [taylor]: Taking taylor expansion of x in x 0.478 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.478 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.478 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.478 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.479 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.479 * [taylor]: Taking taylor expansion of -1 in x 0.479 * [taylor]: Taking taylor expansion of x in x 0.479 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.479 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.479 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.479 * [taylor]: Taking taylor expansion of -1 in x 0.479 * [taylor]: Taking taylor expansion of x in x 0.479 * [taylor]: Taking taylor expansion of 2 in x 0.480 * [taylor]: Taking taylor expansion of y in x 0.481 * [taylor]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in x 0.481 * [taylor]: Taking taylor expansion of (* x (cosh (/ -1 x))) in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.481 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.481 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.481 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.481 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.481 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.481 * [taylor]: Taking taylor expansion of -1 in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.482 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.482 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.482 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.482 * [taylor]: Taking taylor expansion of -1 in x 0.482 * [taylor]: Taking taylor expansion of x in x 0.482 * [taylor]: Taking taylor expansion of 2 in x 0.482 * [taylor]: Taking taylor expansion of y in x 0.484 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) y) in y 0.484 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) in y 0.484 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y 0.484 * [taylor]: Taking taylor expansion of 1/2 in y 0.484 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.484 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.484 * [taylor]: Taking taylor expansion of x in y 0.484 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ -1 x))) in y 0.484 * [taylor]: Taking taylor expansion of 1/2 in y 0.484 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.484 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.484 * [taylor]: Taking taylor expansion of -1 in y 0.484 * [taylor]: Taking taylor expansion of x in y 0.484 * [taylor]: Taking taylor expansion of y in y 0.486 * [taylor]: Taking taylor expansion of 0 in y 0.491 * [taylor]: Taking taylor expansion of 0 in y 0.498 * [taylor]: Taking taylor expansion of 0 in y 0.503 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 0.503 * [approximate]: Taking taylor expansion of (cosh x) in (x) around 0 0.503 * [taylor]: Taking taylor expansion of (cosh x) in x 0.503 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.503 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.503 * [taylor]: Taking taylor expansion of (exp x) in x 0.503 * [taylor]: Taking taylor expansion of x in x 0.503 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.503 * [taylor]: Taking taylor expansion of (- x) in x 0.503 * [taylor]: Taking taylor expansion of x in x 0.504 * [taylor]: Taking taylor expansion of 2 in x 0.504 * [taylor]: Taking taylor expansion of (cosh x) in x 0.504 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.504 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.504 * [taylor]: Taking taylor expansion of (exp x) in x 0.504 * [taylor]: Taking taylor expansion of x in x 0.504 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.504 * [taylor]: Taking taylor expansion of (- x) in x 0.504 * [taylor]: Taking taylor expansion of x in x 0.505 * [taylor]: Taking taylor expansion of 2 in x 0.521 * [approximate]: Taking taylor expansion of (cosh (/ 1 x)) in (x) around 0 0.521 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.521 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.521 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.521 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.521 * [taylor]: Taking taylor expansion of x in x 0.521 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.521 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.522 * [taylor]: Taking taylor expansion of x in x 0.522 * [taylor]: Taking taylor expansion of 2 in x 0.522 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.522 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.522 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.522 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.522 * [taylor]: Taking taylor expansion of x in x 0.523 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.523 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.523 * [taylor]: Taking taylor expansion of 2 in x 0.533 * [approximate]: Taking taylor expansion of (cosh (/ -1 x)) in (x) around 0 0.533 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.533 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.533 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.534 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.534 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.534 * [taylor]: Taking taylor expansion of -1 in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.534 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.534 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.534 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.534 * [taylor]: Taking taylor expansion of -1 in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.535 * [taylor]: Taking taylor expansion of 2 in x 0.535 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.535 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.535 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.535 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.535 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.535 * [taylor]: Taking taylor expansion of -1 in x 0.535 * [taylor]: Taking taylor expansion of x in x 0.535 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.535 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.535 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.535 * [taylor]: Taking taylor expansion of -1 in x 0.535 * [taylor]: Taking taylor expansion of x in x 0.536 * [taylor]: Taking taylor expansion of 2 in x 0.546 * * * [progress]: simplifying candidates 0.546 * [simplify]: Simplifying using # : (- (* (cosh x) (/ y x))) (- z) (/ 1 z) (/ z (* (cosh x) (/ y x))) (/ z (/ y x)) (/ z (/ 1 x)) (/ z (cosh x)) (* z (* 2 x)) (* z (* 2 (- x))) (* z (* 2 (/ x y))) (* z (/ x y)) (* z x) (* z (- x)) (* z (/ x y)) (* z 2) (* (+ (exp x) (exp (- x))) y) (* 2 x) (* (+ (exp x) (exp (- x))) (- y)) (* 2 (- x)) (* (+ (exp x) (exp (- x))) 1) (* 2 (/ x y)) (* (cosh x) y) (* (cosh x) y) (* (cosh x) (- y)) (* (cosh x) 1) (* (+ (exp x) (exp (- x))) (/ y x)) (+ (exp x) (exp (- x))) (+ (* 1/2 (/ (* x y) z)) (/ y (* x z))) (/ (* y (+ (* 1/2 (exp x)) (* 1/2 (exp (- x))))) (* x z)) (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (* z x)) (+ (/ y x) (* 1/2 (* x y))) (/ (* y (+ (* 1/2 (exp x)) (* 1/2 (exp (- x))))) x) (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) x) (+ (* 1/2 (pow x 2)) (+ (* 1/24 (pow x 4)) 1)) (* 1/2 (+ (exp x) (exp (- x)))) (* 1/2 (+ (exp (* -1 x)) (exp x))) 0.550 * * [simplify]: iteration 0 : 178 enodes (cost 123 ) 0.553 * * [simplify]: iteration 1 : 575 enodes (cost 120 ) 0.565 * * [simplify]: iteration 2 : 3541 enodes (cost 85 ) 0.630 * * [simplify]: iteration 3 : 5002 enodes (cost 85 ) 0.631 * [simplify]: Simplified to: (- (* (cosh x) (/ y x))) (- z) (/ 1 z) (/ z (* (cosh x) (/ y x))) (* z (/ x y)) (* x z) (/ z (cosh x)) (* z (* 2 x)) (* (* -2 x) z) (* z (* 2 (/ x y))) (* z (/ x y)) (* x z) (* z (- x)) (* z (/ x y)) (* z 2) (* y (* (cosh x) 2)) (* 2 x) (* (- y) (* (cosh x) 2)) (* -2 x) (* (cosh x) 2) (* 2 (/ x y)) (* (cosh x) y) (* (cosh x) y) (* (cosh x) (- y)) (cosh x) (* (/ y x) (* (cosh x) 2)) (* (cosh x) 2) (fma 1/2 (/ (* x y) z) (/ y (* x z))) (/ (* (cosh x) (/ y x)) z) (/ (* (cosh x) (/ y x)) z) (fma (* 1/2 x) y (/ y x)) (* (cosh x) (/ y x)) (* (cosh x) (/ y x)) (fma 1/2 (pow x 2) (fma 1/24 (pow x 4) 1)) (cosh x) (cosh x) 0.631 * * * [progress]: adding candidates to table 0.696 * * [progress]: iteration 2 / 4 0.697 * * * [progress]: picking best candidate 0.704 * * * * [pick]: Picked # 0.704 * * * [progress]: localizing error 0.712 * * * [progress]: generating rewritten candidates 0.712 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.718 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.720 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 0.722 * * * [progress]: generating series expansions 0.722 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.722 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x y z) around 0 0.722 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z 0.722 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 0.722 * [taylor]: Taking taylor expansion of (cosh x) in z 0.722 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.722 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 0.722 * [taylor]: Taking taylor expansion of (exp x) in z 0.723 * [taylor]: Taking taylor expansion of x in z 0.723 * [taylor]: Taking taylor expansion of (exp (- x)) in z 0.723 * [taylor]: Taking taylor expansion of (- x) in z 0.723 * [taylor]: Taking taylor expansion of x in z 0.723 * [taylor]: Taking taylor expansion of 2 in z 0.723 * [taylor]: Taking taylor expansion of y in z 0.723 * [taylor]: Taking taylor expansion of (* x z) in z 0.723 * [taylor]: Taking taylor expansion of x in z 0.723 * [taylor]: Taking taylor expansion of z in z 0.723 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y 0.723 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 0.723 * [taylor]: Taking taylor expansion of (cosh x) in y 0.724 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.724 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 0.724 * [taylor]: Taking taylor expansion of (exp x) in y 0.724 * [taylor]: Taking taylor expansion of x in y 0.724 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.724 * [taylor]: Taking taylor expansion of (- x) in y 0.724 * [taylor]: Taking taylor expansion of x in y 0.724 * [taylor]: Taking taylor expansion of 2 in y 0.724 * [taylor]: Taking taylor expansion of y in y 0.724 * [taylor]: Taking taylor expansion of (* x z) in y 0.724 * [taylor]: Taking taylor expansion of x in y 0.724 * [taylor]: Taking taylor expansion of z in y 0.726 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 0.726 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 0.726 * [taylor]: Taking taylor expansion of (cosh x) in x 0.727 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.727 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.727 * [taylor]: Taking taylor expansion of (exp x) in x 0.727 * [taylor]: Taking taylor expansion of x in x 0.727 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.727 * [taylor]: Taking taylor expansion of (- x) in x 0.727 * [taylor]: Taking taylor expansion of x in x 0.727 * [taylor]: Taking taylor expansion of 2 in x 0.728 * [taylor]: Taking taylor expansion of y in x 0.728 * [taylor]: Taking taylor expansion of (* x z) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of z in x 0.728 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 0.728 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 0.728 * [taylor]: Taking taylor expansion of (cosh x) in x 0.728 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.728 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.728 * [taylor]: Taking taylor expansion of (exp x) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.728 * [taylor]: Taking taylor expansion of (- x) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of 2 in x 0.729 * [taylor]: Taking taylor expansion of y in x 0.729 * [taylor]: Taking taylor expansion of (* x z) in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of z in x 0.730 * [taylor]: Taking taylor expansion of (/ y z) in y 0.730 * [taylor]: Taking taylor expansion of y in y 0.730 * [taylor]: Taking taylor expansion of z in y 0.730 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.730 * [taylor]: Taking taylor expansion of z in z 0.733 * [taylor]: Taking taylor expansion of 0 in y 0.733 * [taylor]: Taking taylor expansion of 0 in z 0.733 * [taylor]: Taking taylor expansion of 0 in z 0.738 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in y 0.738 * [taylor]: Taking taylor expansion of 1/2 in y 0.738 * [taylor]: Taking taylor expansion of (/ y z) in y 0.738 * [taylor]: Taking taylor expansion of y in y 0.738 * [taylor]: Taking taylor expansion of z in y 0.738 * [taylor]: Taking taylor expansion of (/ 1/2 z) in z 0.738 * [taylor]: Taking taylor expansion of 1/2 in z 0.738 * [taylor]: Taking taylor expansion of z in z 0.738 * [taylor]: Taking taylor expansion of 0 in z 0.738 * [taylor]: Taking taylor expansion of 0 in z 0.745 * [taylor]: Taking taylor expansion of 0 in y 0.745 * [taylor]: Taking taylor expansion of 0 in z 0.745 * [taylor]: Taking taylor expansion of 0 in z 0.745 * [taylor]: Taking taylor expansion of 0 in z 0.745 * [taylor]: Taking taylor expansion of 0 in z 0.746 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x y z) around 0 0.746 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z 0.746 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z 0.746 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 0.746 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.746 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 0.746 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 0.746 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.746 * [taylor]: Taking taylor expansion of x in z 0.746 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 0.747 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 0.747 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.747 * [taylor]: Taking taylor expansion of x in z 0.747 * [taylor]: Taking taylor expansion of 2 in z 0.747 * [taylor]: Taking taylor expansion of (* x z) in z 0.747 * [taylor]: Taking taylor expansion of x in z 0.747 * [taylor]: Taking taylor expansion of z in z 0.747 * [taylor]: Taking taylor expansion of y in z 0.750 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y 0.750 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y 0.750 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 0.750 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.750 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.750 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.750 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.750 * [taylor]: Taking taylor expansion of x in y 0.750 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.750 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.750 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.750 * [taylor]: Taking taylor expansion of x in y 0.750 * [taylor]: Taking taylor expansion of 2 in y 0.750 * [taylor]: Taking taylor expansion of (* x z) in y 0.750 * [taylor]: Taking taylor expansion of x in y 0.750 * [taylor]: Taking taylor expansion of z in y 0.751 * [taylor]: Taking taylor expansion of y in y 0.751 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 0.751 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 0.751 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.751 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.751 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.751 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.751 * [taylor]: Taking taylor expansion of x in x 0.754 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.755 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.755 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.755 * [taylor]: Taking taylor expansion of x in x 0.755 * [taylor]: Taking taylor expansion of 2 in x 0.755 * [taylor]: Taking taylor expansion of (* x z) in x 0.755 * [taylor]: Taking taylor expansion of x in x 0.755 * [taylor]: Taking taylor expansion of z in x 0.755 * [taylor]: Taking taylor expansion of y in x 0.757 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 0.757 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 0.757 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.757 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.757 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.757 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.757 * [taylor]: Taking taylor expansion of x in x 0.758 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.758 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.758 * [taylor]: Taking taylor expansion of x in x 0.758 * [taylor]: Taking taylor expansion of 2 in x 0.758 * [taylor]: Taking taylor expansion of (* x z) in x 0.758 * [taylor]: Taking taylor expansion of x in x 0.758 * [taylor]: Taking taylor expansion of z in x 0.758 * [taylor]: Taking taylor expansion of y in x 0.760 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in y 0.760 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y 0.760 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in y 0.760 * [taylor]: Taking taylor expansion of 1/2 in y 0.760 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in y 0.760 * [taylor]: Taking taylor expansion of z in y 0.760 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.760 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.760 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.760 * [taylor]: Taking taylor expansion of x in y 0.760 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 0.761 * [taylor]: Taking taylor expansion of 1/2 in y 0.761 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 0.761 * [taylor]: Taking taylor expansion of z in y 0.761 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.761 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.761 * [taylor]: Taking taylor expansion of x in y 0.761 * [taylor]: Taking taylor expansion of y in y 0.761 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z 0.761 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in z 0.761 * [taylor]: Taking taylor expansion of 1/2 in z 0.761 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 0.761 * [taylor]: Taking taylor expansion of z in z 0.761 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 0.761 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 0.761 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.761 * [taylor]: Taking taylor expansion of x in z 0.761 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 0.761 * [taylor]: Taking taylor expansion of 1/2 in z 0.761 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 0.761 * [taylor]: Taking taylor expansion of z in z 0.761 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 0.761 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.761 * [taylor]: Taking taylor expansion of x in z 0.766 * [taylor]: Taking taylor expansion of 0 in y 0.769 * [taylor]: Taking taylor expansion of 0 in z 0.777 * [taylor]: Taking taylor expansion of 0 in y 0.777 * [taylor]: Taking taylor expansion of 0 in z 0.782 * [taylor]: Taking taylor expansion of 0 in z 0.788 * [approximate]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in (x y z) around 0 0.788 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in z 0.788 * [taylor]: Taking taylor expansion of -1 in z 0.788 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in z 0.788 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in z 0.788 * [taylor]: Taking taylor expansion of z in z 0.788 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in z 0.788 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 0.788 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.788 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 0.788 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 0.788 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.788 * [taylor]: Taking taylor expansion of -1 in z 0.788 * [taylor]: Taking taylor expansion of x in z 0.788 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 0.788 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 0.788 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.788 * [taylor]: Taking taylor expansion of -1 in z 0.788 * [taylor]: Taking taylor expansion of x in z 0.789 * [taylor]: Taking taylor expansion of 2 in z 0.789 * [taylor]: Taking taylor expansion of x in z 0.789 * [taylor]: Taking taylor expansion of y in z 0.792 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in y 0.792 * [taylor]: Taking taylor expansion of -1 in y 0.792 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in y 0.792 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in y 0.792 * [taylor]: Taking taylor expansion of z in y 0.792 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in y 0.792 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 0.792 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.792 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 0.792 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.792 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.792 * [taylor]: Taking taylor expansion of -1 in y 0.792 * [taylor]: Taking taylor expansion of x in y 0.792 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 0.792 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 0.792 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.792 * [taylor]: Taking taylor expansion of -1 in y 0.792 * [taylor]: Taking taylor expansion of x in y 0.792 * [taylor]: Taking taylor expansion of 2 in y 0.792 * [taylor]: Taking taylor expansion of x in y 0.792 * [taylor]: Taking taylor expansion of y in y 0.793 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in x 0.793 * [taylor]: Taking taylor expansion of -1 in x 0.793 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in x 0.793 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in x 0.793 * [taylor]: Taking taylor expansion of z in x 0.793 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in x 0.793 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.793 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.793 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.793 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.793 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.793 * [taylor]: Taking taylor expansion of -1 in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.793 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.793 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.793 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.793 * [taylor]: Taking taylor expansion of -1 in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of 2 in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of y in x 0.796 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in x 0.796 * [taylor]: Taking taylor expansion of -1 in x 0.796 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in x 0.796 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in x 0.796 * [taylor]: Taking taylor expansion of z in x 0.796 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in x 0.796 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.796 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.796 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.796 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.796 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.796 * [taylor]: Taking taylor expansion of -1 in x 0.796 * [taylor]: Taking taylor expansion of x in x 0.796 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.797 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.797 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.797 * [taylor]: Taking taylor expansion of -1 in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of 2 in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of y in x 0.799 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in y 0.799 * [taylor]: Taking taylor expansion of -1 in y 0.799 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in y 0.799 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y 0.799 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 0.799 * [taylor]: Taking taylor expansion of 1/2 in y 0.799 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 0.799 * [taylor]: Taking taylor expansion of z in y 0.799 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.799 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.799 * [taylor]: Taking taylor expansion of x in y 0.800 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y 0.800 * [taylor]: Taking taylor expansion of 1/2 in y 0.800 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y 0.800 * [taylor]: Taking taylor expansion of z in y 0.800 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.800 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.800 * [taylor]: Taking taylor expansion of -1 in y 0.800 * [taylor]: Taking taylor expansion of x in y 0.800 * [taylor]: Taking taylor expansion of y in y 0.800 * [taylor]: Taking taylor expansion of (* -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z 0.800 * [taylor]: Taking taylor expansion of -1 in z 0.800 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z 0.800 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 0.800 * [taylor]: Taking taylor expansion of 1/2 in z 0.800 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 0.800 * [taylor]: Taking taylor expansion of z in z 0.800 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 0.800 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.800 * [taylor]: Taking taylor expansion of x in z 0.800 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z 0.800 * [taylor]: Taking taylor expansion of 1/2 in z 0.800 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 0.801 * [taylor]: Taking taylor expansion of z in z 0.801 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 0.801 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.801 * [taylor]: Taking taylor expansion of -1 in z 0.801 * [taylor]: Taking taylor expansion of x in z 0.807 * [taylor]: Taking taylor expansion of 0 in y 0.810 * [taylor]: Taking taylor expansion of 0 in z 0.818 * [taylor]: Taking taylor expansion of 0 in y 0.818 * [taylor]: Taking taylor expansion of 0 in z 0.823 * [taylor]: Taking taylor expansion of 0 in z 0.829 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.829 * [approximate]: Taking taylor expansion of (* -1 (* (cosh x) y)) in (x y) around 0 0.829 * [taylor]: Taking taylor expansion of (* -1 (* (cosh x) y)) in y 0.829 * [taylor]: Taking taylor expansion of -1 in y 0.829 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 0.829 * [taylor]: Taking taylor expansion of (cosh x) in y 0.829 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.829 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 0.829 * [taylor]: Taking taylor expansion of (exp x) in y 0.829 * [taylor]: Taking taylor expansion of x in y 0.829 * [taylor]: Taking taylor expansion of (exp (- x)) in y 0.829 * [taylor]: Taking taylor expansion of (- x) in y 0.829 * [taylor]: Taking taylor expansion of x in y 0.829 * [taylor]: Taking taylor expansion of 2 in y 0.830 * [taylor]: Taking taylor expansion of y in y 0.830 * [taylor]: Taking taylor expansion of (* -1 (* (cosh x) y)) in x 0.830 * [taylor]: Taking taylor expansion of -1 in x 0.830 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 0.830 * [taylor]: Taking taylor expansion of (cosh x) in x 0.830 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.830 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.830 * [taylor]: Taking taylor expansion of (exp x) in x 0.830 * [taylor]: Taking taylor expansion of x in x 0.830 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.830 * [taylor]: Taking taylor expansion of (- x) in x 0.830 * [taylor]: Taking taylor expansion of x in x 0.830 * [taylor]: Taking taylor expansion of 2 in x 0.831 * [taylor]: Taking taylor expansion of y in x 0.831 * [taylor]: Taking taylor expansion of (* -1 (* (cosh x) y)) in x 0.831 * [taylor]: Taking taylor expansion of -1 in x 0.831 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 0.831 * [taylor]: Taking taylor expansion of (cosh x) in x 0.831 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.831 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.831 * [taylor]: Taking taylor expansion of (exp x) in x 0.831 * [taylor]: Taking taylor expansion of x in x 0.831 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.831 * [taylor]: Taking taylor expansion of (- x) in x 0.831 * [taylor]: Taking taylor expansion of x in x 0.831 * [taylor]: Taking taylor expansion of 2 in x 0.832 * [taylor]: Taking taylor expansion of y in x 0.832 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.832 * [taylor]: Taking taylor expansion of -1 in y 0.832 * [taylor]: Taking taylor expansion of y in y 0.839 * [taylor]: Taking taylor expansion of 0 in y 0.843 * [taylor]: Taking taylor expansion of (- (* 1/2 y)) in y 0.843 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.843 * [taylor]: Taking taylor expansion of 1/2 in y 0.843 * [taylor]: Taking taylor expansion of y in y 0.849 * [taylor]: Taking taylor expansion of 0 in y 0.858 * [taylor]: Taking taylor expansion of (- (* 1/24 y)) in y 0.858 * [taylor]: Taking taylor expansion of (* 1/24 y) in y 0.858 * [taylor]: Taking taylor expansion of 1/24 in y 0.858 * [taylor]: Taking taylor expansion of y in y 0.860 * [approximate]: Taking taylor expansion of (* -1 (/ (cosh (/ 1 x)) y)) in (x y) around 0 0.860 * [taylor]: Taking taylor expansion of (* -1 (/ (cosh (/ 1 x)) y)) in y 0.860 * [taylor]: Taking taylor expansion of -1 in y 0.860 * [taylor]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in y 0.860 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 0.860 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.860 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.860 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.860 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.860 * [taylor]: Taking taylor expansion of x in y 0.860 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.860 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.860 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.860 * [taylor]: Taking taylor expansion of x in y 0.860 * [taylor]: Taking taylor expansion of 2 in y 0.861 * [taylor]: Taking taylor expansion of y in y 0.861 * [taylor]: Taking taylor expansion of (* -1 (/ (cosh (/ 1 x)) y)) in x 0.861 * [taylor]: Taking taylor expansion of -1 in x 0.861 * [taylor]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in x 0.861 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.861 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.861 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.861 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.861 * [taylor]: Taking taylor expansion of x in x 0.861 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.861 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.861 * [taylor]: Taking taylor expansion of x in x 0.862 * [taylor]: Taking taylor expansion of 2 in x 0.862 * [taylor]: Taking taylor expansion of y in x 0.862 * [taylor]: Taking taylor expansion of (* -1 (/ (cosh (/ 1 x)) y)) in x 0.862 * [taylor]: Taking taylor expansion of -1 in x 0.862 * [taylor]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in x 0.862 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.862 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.862 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.862 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.862 * [taylor]: Taking taylor expansion of x in x 0.862 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.862 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.862 * [taylor]: Taking taylor expansion of x in x 0.863 * [taylor]: Taking taylor expansion of 2 in x 0.863 * [taylor]: Taking taylor expansion of y in x 0.863 * [taylor]: Taking taylor expansion of (* -1/2 (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 0.863 * [taylor]: Taking taylor expansion of -1/2 in y 0.863 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 0.863 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 0.864 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.864 * [taylor]: Taking taylor expansion of x in y 0.864 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 0.864 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.864 * [taylor]: Taking taylor expansion of x in y 0.864 * [taylor]: Taking taylor expansion of y in y 0.865 * [taylor]: Taking taylor expansion of 0 in y 0.870 * [taylor]: Taking taylor expansion of 0 in y 0.876 * [taylor]: Taking taylor expansion of 0 in y 0.881 * [approximate]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in (x y) around 0 0.881 * [taylor]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in y 0.881 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 0.881 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.881 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 0.881 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.881 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.881 * [taylor]: Taking taylor expansion of -1 in y 0.882 * [taylor]: Taking taylor expansion of x in y 0.882 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 0.882 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 0.882 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.882 * [taylor]: Taking taylor expansion of -1 in y 0.882 * [taylor]: Taking taylor expansion of x in y 0.882 * [taylor]: Taking taylor expansion of 2 in y 0.882 * [taylor]: Taking taylor expansion of y in y 0.882 * [taylor]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in x 0.882 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.882 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.882 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.882 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.882 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.882 * [taylor]: Taking taylor expansion of -1 in x 0.882 * [taylor]: Taking taylor expansion of x in x 0.882 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.882 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.883 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.883 * [taylor]: Taking taylor expansion of -1 in x 0.883 * [taylor]: Taking taylor expansion of x in x 0.883 * [taylor]: Taking taylor expansion of 2 in x 0.883 * [taylor]: Taking taylor expansion of y in x 0.883 * [taylor]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in x 0.883 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.883 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.883 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.883 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.883 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.883 * [taylor]: Taking taylor expansion of -1 in x 0.883 * [taylor]: Taking taylor expansion of x in x 0.884 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.884 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.884 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.884 * [taylor]: Taking taylor expansion of -1 in x 0.884 * [taylor]: Taking taylor expansion of x in x 0.884 * [taylor]: Taking taylor expansion of 2 in x 0.885 * [taylor]: Taking taylor expansion of y in x 0.885 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) y)) in y 0.885 * [taylor]: Taking taylor expansion of 1/2 in y 0.885 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) y) in y 0.885 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 0.885 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.885 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.885 * [taylor]: Taking taylor expansion of x in y 0.885 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.885 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.885 * [taylor]: Taking taylor expansion of -1 in y 0.885 * [taylor]: Taking taylor expansion of x in y 0.885 * [taylor]: Taking taylor expansion of y in y 0.886 * [taylor]: Taking taylor expansion of 0 in y 0.890 * [taylor]: Taking taylor expansion of 0 in y 0.895 * [taylor]: Taking taylor expansion of 0 in y 0.899 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 0.899 * [approximate]: Taking taylor expansion of (cosh x) in (x) around 0 0.899 * [taylor]: Taking taylor expansion of (cosh x) in x 0.899 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.899 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.899 * [taylor]: Taking taylor expansion of (exp x) in x 0.899 * [taylor]: Taking taylor expansion of x in x 0.899 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.899 * [taylor]: Taking taylor expansion of (- x) in x 0.899 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of 2 in x 0.900 * [taylor]: Taking taylor expansion of (cosh x) in x 0.900 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 0.900 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.900 * [taylor]: Taking taylor expansion of (exp x) in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.900 * [taylor]: Taking taylor expansion of (- x) in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.901 * [taylor]: Taking taylor expansion of 2 in x 0.921 * [approximate]: Taking taylor expansion of (cosh (/ 1 x)) in (x) around 0 0.921 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.922 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.922 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.922 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.922 * [taylor]: Taking taylor expansion of x in x 0.922 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.922 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.922 * [taylor]: Taking taylor expansion of x in x 0.922 * [taylor]: Taking taylor expansion of 2 in x 0.923 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 0.923 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 0.923 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.923 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.923 * [taylor]: Taking taylor expansion of x in x 0.923 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.923 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.923 * [taylor]: Taking taylor expansion of x in x 0.924 * [taylor]: Taking taylor expansion of 2 in x 0.933 * [approximate]: Taking taylor expansion of (cosh (/ -1 x)) in (x) around 0 0.933 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.933 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.933 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.933 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.933 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.934 * [taylor]: Taking taylor expansion of -1 in x 0.934 * [taylor]: Taking taylor expansion of x in x 0.934 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.934 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.934 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.934 * [taylor]: Taking taylor expansion of -1 in x 0.934 * [taylor]: Taking taylor expansion of x in x 0.934 * [taylor]: Taking taylor expansion of 2 in x 0.935 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 0.935 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 0.935 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 0.935 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.935 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.935 * [taylor]: Taking taylor expansion of -1 in x 0.935 * [taylor]: Taking taylor expansion of x in x 0.935 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 0.935 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 0.935 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.935 * [taylor]: Taking taylor expansion of -1 in x 0.935 * [taylor]: Taking taylor expansion of x in x 0.936 * [taylor]: Taking taylor expansion of 2 in x 0.946 * * * [progress]: simplifying candidates 0.946 * [simplify]: Simplifying using # : (- (* (cosh x) (- y))) (- (* z (- x))) (/ (cosh x) z) (/ (- y) (- x)) (/ (cosh x) (* z -1)) (/ (- y) x) (/ (cosh x) (- x)) (/ (- y) z) (/ (* (cosh x) -1) z) (/ y (- x)) (/ (* (cosh x) -1) (* z -1)) (/ y x) (/ (* (cosh x) -1) (- x)) (/ y z) (/ (- y) z) (/ (cosh x) (- x)) (/ (- y) (* z -1)) (/ (cosh x) x) (/ (- y) (- x)) (/ (cosh x) z) (/ 1 (* z (- x))) (/ (* z (- x)) (* (cosh x) (- y))) (/ (* (cosh x) y) (* z (- x))) (/ (* (cosh x) (- y)) z) (/ (* (cosh x) (- y)) (* z -1)) (/ (* (cosh x) (- y)) (- x)) (/ (* z (- x)) (- y)) (/ (* z (- x)) y) (/ (* z (- x)) (cosh x)) (* (* z (- x)) 2) (* (cosh x) y) (* (cosh x) -1) (* (+ (exp x) (exp (- x))) (- y)) (+ (exp x) (exp (- x))) (+ (* 1/2 (/ (* x y) z)) (/ y (* x z))) (/ (* y (+ (* 1/2 (exp x)) (* 1/2 (exp (- x))))) (* x z)) (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (* z x)) (- (+ (* 1/2 (* (pow x 2) y)) y)) (* -1/2 (* (+ (exp x) (exp (- x))) y)) (* -1/2 (* y (+ (exp (* -1 x)) (exp x)))) (+ (* 1/2 (pow x 2)) (+ (* 1/24 (pow x 4)) 1)) (* 1/2 (+ (exp x) (exp (- x)))) (* 1/2 (+ (exp (* -1 x)) (exp x))) 0.950 * * [simplify]: iteration 0 : 226 enodes (cost 159 ) 0.953 * * [simplify]: iteration 1 : 727 enodes (cost 152 ) 0.968 * * [simplify]: iteration 2 : 4233 enodes (cost 127 ) 1.078 * * [simplify]: iteration 3 : 5001 enodes (cost 127 ) 1.079 * [simplify]: Simplified to: (* (cosh x) y) (* x z) (/ (cosh x) z) (/ (- y) (- x)) (/ (* (cosh x) -1) z) (/ (- y) x) (/ (cosh x) (- x)) (/ (- y) z) (/ (* (cosh x) -1) z) (/ y (- x)) (/ (cosh x) z) (/ y x) (/ (cosh x) x) (/ y z) (/ (- y) z) (/ (cosh x) (- x)) (/ (- y) (* z -1)) (/ (cosh x) x) (/ (- y) (- x)) (/ (cosh x) z) (/ -1 (* x z)) (/ x (/ (* (cosh x) y) z)) (/ (* (cosh x) y) (* z (- x))) (/ (* (cosh x) (- y)) z) (/ (* (cosh x) y) z) (/ y (/ x (cosh x))) (/ (* z (- x)) (- y)) (/ (* z (- x)) y) (/ (* z (- x)) (cosh x)) (* (* x -2) z) (* (cosh x) y) (* (cosh x) -1) (* (+ (exp x) (exp (- x))) (- y)) (+ (exp (* -1 x)) (exp x)) (fma 1/2 (/ (* x y) z) (/ y (* x z))) (/ (* y (/ (cosh x) z)) x) (/ (* y (/ (cosh x) z)) x) (* (- (fma (pow x 2) 1/2 1)) y) (* -1/2 (* y (+ (exp (* -1 x)) (exp x)))) (* -1/2 (* y (+ (exp (* -1 x)) (exp x)))) (fma 1/2 (pow x 2) (fma 1/24 (pow x 4) 1)) (cosh x) (cosh x) 1.080 * * * [progress]: adding candidates to table 1.157 * * [progress]: iteration 3 / 4 1.157 * * * [progress]: picking best candidate 1.163 * * * * [pick]: Picked # 1.163 * * * [progress]: localizing error 1.171 * * * [progress]: generating rewritten candidates 1.171 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.175 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.180 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 1.182 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1) 1.184 * * * [progress]: generating series expansions 1.184 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.184 * [approximate]: Taking taylor expansion of (/ (* x z) (* (cosh x) y)) in (x y z) around 0 1.184 * [taylor]: Taking taylor expansion of (/ (* x z) (* (cosh x) y)) in z 1.184 * [taylor]: Taking taylor expansion of (* x z) in z 1.184 * [taylor]: Taking taylor expansion of x in z 1.184 * [taylor]: Taking taylor expansion of z in z 1.184 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 1.184 * [taylor]: Taking taylor expansion of (cosh x) in z 1.184 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.184 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 1.184 * [taylor]: Taking taylor expansion of (exp x) in z 1.184 * [taylor]: Taking taylor expansion of x in z 1.184 * [taylor]: Taking taylor expansion of (exp (- x)) in z 1.185 * [taylor]: Taking taylor expansion of (- x) in z 1.185 * [taylor]: Taking taylor expansion of x in z 1.185 * [taylor]: Taking taylor expansion of 2 in z 1.185 * [taylor]: Taking taylor expansion of y in z 1.185 * [taylor]: Taking taylor expansion of (/ (* x z) (* (cosh x) y)) in y 1.185 * [taylor]: Taking taylor expansion of (* x z) in y 1.185 * [taylor]: Taking taylor expansion of x in y 1.185 * [taylor]: Taking taylor expansion of z in y 1.185 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 1.185 * [taylor]: Taking taylor expansion of (cosh x) in y 1.185 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.185 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 1.186 * [taylor]: Taking taylor expansion of (exp x) in y 1.186 * [taylor]: Taking taylor expansion of x in y 1.186 * [taylor]: Taking taylor expansion of (exp (- x)) in y 1.186 * [taylor]: Taking taylor expansion of (- x) in y 1.186 * [taylor]: Taking taylor expansion of x in y 1.186 * [taylor]: Taking taylor expansion of 2 in y 1.186 * [taylor]: Taking taylor expansion of y in y 1.188 * [taylor]: Taking taylor expansion of (/ (* x z) (* (cosh x) y)) in x 1.188 * [taylor]: Taking taylor expansion of (* x z) in x 1.188 * [taylor]: Taking taylor expansion of x in x 1.188 * [taylor]: Taking taylor expansion of z in x 1.188 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 1.188 * [taylor]: Taking taylor expansion of (cosh x) in x 1.188 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.189 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.189 * [taylor]: Taking taylor expansion of (exp x) in x 1.189 * [taylor]: Taking taylor expansion of x in x 1.189 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.189 * [taylor]: Taking taylor expansion of (- x) in x 1.189 * [taylor]: Taking taylor expansion of x in x 1.189 * [taylor]: Taking taylor expansion of 2 in x 1.190 * [taylor]: Taking taylor expansion of y in x 1.190 * [taylor]: Taking taylor expansion of (/ (* x z) (* (cosh x) y)) in x 1.190 * [taylor]: Taking taylor expansion of (* x z) in x 1.190 * [taylor]: Taking taylor expansion of x in x 1.190 * [taylor]: Taking taylor expansion of z in x 1.190 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 1.190 * [taylor]: Taking taylor expansion of (cosh x) in x 1.190 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.190 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.190 * [taylor]: Taking taylor expansion of (exp x) in x 1.190 * [taylor]: Taking taylor expansion of x in x 1.190 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.190 * [taylor]: Taking taylor expansion of (- x) in x 1.190 * [taylor]: Taking taylor expansion of x in x 1.191 * [taylor]: Taking taylor expansion of 2 in x 1.191 * [taylor]: Taking taylor expansion of y in x 1.191 * [taylor]: Taking taylor expansion of (/ z y) in y 1.191 * [taylor]: Taking taylor expansion of z in y 1.191 * [taylor]: Taking taylor expansion of y in y 1.191 * [taylor]: Taking taylor expansion of z in z 1.194 * [taylor]: Taking taylor expansion of 0 in y 1.195 * [taylor]: Taking taylor expansion of 0 in z 1.199 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ z y))) in y 1.199 * [taylor]: Taking taylor expansion of (* 1/2 (/ z y)) in y 1.199 * [taylor]: Taking taylor expansion of 1/2 in y 1.199 * [taylor]: Taking taylor expansion of (/ z y) in y 1.199 * [taylor]: Taking taylor expansion of z in y 1.199 * [taylor]: Taking taylor expansion of y in y 1.199 * [taylor]: Taking taylor expansion of (- (* 1/2 z)) in z 1.199 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 1.199 * [taylor]: Taking taylor expansion of 1/2 in z 1.199 * [taylor]: Taking taylor expansion of z in z 1.200 * [taylor]: Taking taylor expansion of 0 in z 1.201 * [taylor]: Taking taylor expansion of 0 in z 1.207 * [taylor]: Taking taylor expansion of 0 in y 1.208 * [taylor]: Taking taylor expansion of 0 in z 1.208 * [taylor]: Taking taylor expansion of 0 in z 1.208 * [approximate]: Taking taylor expansion of (/ y (* (cosh (/ 1 x)) (* x z))) in (x y z) around 0 1.208 * [taylor]: Taking taylor expansion of (/ y (* (cosh (/ 1 x)) (* x z))) in z 1.208 * [taylor]: Taking taylor expansion of y in z 1.208 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z 1.208 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 1.209 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.209 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 1.209 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 1.209 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.209 * [taylor]: Taking taylor expansion of x in z 1.209 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 1.209 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.209 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.209 * [taylor]: Taking taylor expansion of x in z 1.209 * [taylor]: Taking taylor expansion of 2 in z 1.209 * [taylor]: Taking taylor expansion of (* x z) in z 1.209 * [taylor]: Taking taylor expansion of x in z 1.209 * [taylor]: Taking taylor expansion of z in z 1.212 * [taylor]: Taking taylor expansion of (/ y (* (cosh (/ 1 x)) (* x z))) in y 1.212 * [taylor]: Taking taylor expansion of y in y 1.212 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y 1.212 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 1.212 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.212 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1.212 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.212 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.212 * [taylor]: Taking taylor expansion of x in y 1.212 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.212 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.212 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.212 * [taylor]: Taking taylor expansion of x in y 1.212 * [taylor]: Taking taylor expansion of 2 in y 1.213 * [taylor]: Taking taylor expansion of (* x z) in y 1.213 * [taylor]: Taking taylor expansion of x in y 1.213 * [taylor]: Taking taylor expansion of z in y 1.213 * [taylor]: Taking taylor expansion of (/ y (* (cosh (/ 1 x)) (* x z))) in x 1.213 * [taylor]: Taking taylor expansion of y in x 1.213 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 1.213 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.213 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.213 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.213 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.213 * [taylor]: Taking taylor expansion of x in x 1.213 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.213 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.213 * [taylor]: Taking taylor expansion of x in x 1.214 * [taylor]: Taking taylor expansion of 2 in x 1.214 * [taylor]: Taking taylor expansion of (* x z) in x 1.214 * [taylor]: Taking taylor expansion of x in x 1.214 * [taylor]: Taking taylor expansion of z in x 1.216 * [taylor]: Taking taylor expansion of (/ y (* (cosh (/ 1 x)) (* x z))) in x 1.216 * [taylor]: Taking taylor expansion of y in x 1.216 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 1.216 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.216 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.216 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.216 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.216 * [taylor]: Taking taylor expansion of x in x 1.216 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.216 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.216 * [taylor]: Taking taylor expansion of x in x 1.217 * [taylor]: Taking taylor expansion of 2 in x 1.217 * [taylor]: Taking taylor expansion of (* x z) in x 1.217 * [taylor]: Taking taylor expansion of x in x 1.217 * [taylor]: Taking taylor expansion of z in x 1.219 * [taylor]: Taking taylor expansion of (/ y (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x)))))) in y 1.219 * [taylor]: Taking taylor expansion of y in y 1.219 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y 1.219 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in y 1.219 * [taylor]: Taking taylor expansion of 1/2 in y 1.219 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in y 1.219 * [taylor]: Taking taylor expansion of z in y 1.219 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.219 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.219 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.219 * [taylor]: Taking taylor expansion of x in y 1.219 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 1.219 * [taylor]: Taking taylor expansion of 1/2 in y 1.219 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 1.219 * [taylor]: Taking taylor expansion of z in y 1.219 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.219 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.219 * [taylor]: Taking taylor expansion of x in y 1.220 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x)))))) in z 1.220 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z 1.220 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in z 1.220 * [taylor]: Taking taylor expansion of 1/2 in z 1.220 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 1.220 * [taylor]: Taking taylor expansion of z in z 1.220 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 1.220 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.220 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.220 * [taylor]: Taking taylor expansion of x in z 1.220 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 1.220 * [taylor]: Taking taylor expansion of 1/2 in z 1.220 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 1.220 * [taylor]: Taking taylor expansion of z in z 1.220 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 1.220 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.220 * [taylor]: Taking taylor expansion of x in z 1.226 * [taylor]: Taking taylor expansion of 0 in y 1.226 * [taylor]: Taking taylor expansion of 0 in z 1.229 * [taylor]: Taking taylor expansion of 0 in z 1.241 * [taylor]: Taking taylor expansion of 0 in y 1.242 * [taylor]: Taking taylor expansion of 0 in z 1.242 * [taylor]: Taking taylor expansion of 0 in z 1.246 * [taylor]: Taking taylor expansion of 0 in z 1.257 * [taylor]: Taking taylor expansion of 0 in y 1.257 * [taylor]: Taking taylor expansion of 0 in z 1.257 * [taylor]: Taking taylor expansion of 0 in z 1.257 * [taylor]: Taking taylor expansion of 0 in z 1.263 * [taylor]: Taking taylor expansion of 0 in z 1.264 * [approximate]: Taking taylor expansion of (* -1 (/ y (* x (* z (cosh (/ -1 x)))))) in (x y z) around 0 1.264 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x (* z (cosh (/ -1 x)))))) in z 1.264 * [taylor]: Taking taylor expansion of -1 in z 1.264 * [taylor]: Taking taylor expansion of (/ y (* x (* z (cosh (/ -1 x))))) in z 1.264 * [taylor]: Taking taylor expansion of y in z 1.264 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in z 1.264 * [taylor]: Taking taylor expansion of x in z 1.264 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z 1.264 * [taylor]: Taking taylor expansion of z in z 1.264 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 1.264 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.264 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 1.264 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 1.264 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.264 * [taylor]: Taking taylor expansion of -1 in z 1.264 * [taylor]: Taking taylor expansion of x in z 1.264 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 1.264 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 1.264 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.264 * [taylor]: Taking taylor expansion of -1 in z 1.264 * [taylor]: Taking taylor expansion of x in z 1.265 * [taylor]: Taking taylor expansion of 2 in z 1.268 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x (* z (cosh (/ -1 x)))))) in y 1.268 * [taylor]: Taking taylor expansion of -1 in y 1.268 * [taylor]: Taking taylor expansion of (/ y (* x (* z (cosh (/ -1 x))))) in y 1.268 * [taylor]: Taking taylor expansion of y in y 1.268 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in y 1.268 * [taylor]: Taking taylor expansion of x in y 1.268 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y 1.268 * [taylor]: Taking taylor expansion of z in y 1.268 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 1.268 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.268 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 1.268 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.268 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.268 * [taylor]: Taking taylor expansion of -1 in y 1.268 * [taylor]: Taking taylor expansion of x in y 1.268 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 1.268 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 1.268 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.268 * [taylor]: Taking taylor expansion of -1 in y 1.268 * [taylor]: Taking taylor expansion of x in y 1.268 * [taylor]: Taking taylor expansion of 2 in y 1.269 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x (* z (cosh (/ -1 x)))))) in x 1.269 * [taylor]: Taking taylor expansion of -1 in x 1.269 * [taylor]: Taking taylor expansion of (/ y (* x (* z (cosh (/ -1 x))))) in x 1.269 * [taylor]: Taking taylor expansion of y in x 1.269 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 1.269 * [taylor]: Taking taylor expansion of x in x 1.269 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 1.269 * [taylor]: Taking taylor expansion of z in x 1.269 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.269 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.269 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.269 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.269 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.269 * [taylor]: Taking taylor expansion of -1 in x 1.269 * [taylor]: Taking taylor expansion of x in x 1.269 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.269 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.269 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.269 * [taylor]: Taking taylor expansion of -1 in x 1.269 * [taylor]: Taking taylor expansion of x in x 1.270 * [taylor]: Taking taylor expansion of 2 in x 1.272 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x (* z (cosh (/ -1 x)))))) in x 1.272 * [taylor]: Taking taylor expansion of -1 in x 1.272 * [taylor]: Taking taylor expansion of (/ y (* x (* z (cosh (/ -1 x))))) in x 1.272 * [taylor]: Taking taylor expansion of y in x 1.272 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 1.272 * [taylor]: Taking taylor expansion of x in x 1.272 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 1.272 * [taylor]: Taking taylor expansion of z in x 1.272 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.272 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.272 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.272 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.272 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.272 * [taylor]: Taking taylor expansion of -1 in x 1.272 * [taylor]: Taking taylor expansion of x in x 1.272 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.272 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.272 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.272 * [taylor]: Taking taylor expansion of -1 in x 1.272 * [taylor]: Taking taylor expansion of x in x 1.273 * [taylor]: Taking taylor expansion of 2 in x 1.275 * [taylor]: Taking taylor expansion of (* -1 (/ y (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))))) in y 1.275 * [taylor]: Taking taylor expansion of -1 in y 1.275 * [taylor]: Taking taylor expansion of (/ y (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in y 1.275 * [taylor]: Taking taylor expansion of y in y 1.275 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y 1.275 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 1.275 * [taylor]: Taking taylor expansion of 1/2 in y 1.275 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 1.275 * [taylor]: Taking taylor expansion of z in y 1.275 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.275 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.275 * [taylor]: Taking taylor expansion of x in y 1.275 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y 1.275 * [taylor]: Taking taylor expansion of 1/2 in y 1.275 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y 1.275 * [taylor]: Taking taylor expansion of z in y 1.275 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.275 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.275 * [taylor]: Taking taylor expansion of -1 in y 1.275 * [taylor]: Taking taylor expansion of x in y 1.276 * [taylor]: Taking taylor expansion of (/ -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z 1.276 * [taylor]: Taking taylor expansion of -1 in z 1.276 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z 1.276 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 1.276 * [taylor]: Taking taylor expansion of 1/2 in z 1.276 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 1.276 * [taylor]: Taking taylor expansion of z in z 1.276 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 1.276 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.276 * [taylor]: Taking taylor expansion of x in z 1.276 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z 1.276 * [taylor]: Taking taylor expansion of 1/2 in z 1.276 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 1.276 * [taylor]: Taking taylor expansion of z in z 1.276 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 1.276 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.276 * [taylor]: Taking taylor expansion of -1 in z 1.276 * [taylor]: Taking taylor expansion of x in z 1.283 * [taylor]: Taking taylor expansion of 0 in y 1.283 * [taylor]: Taking taylor expansion of 0 in z 1.285 * [taylor]: Taking taylor expansion of 0 in z 1.294 * [taylor]: Taking taylor expansion of 0 in y 1.294 * [taylor]: Taking taylor expansion of 0 in z 1.294 * [taylor]: Taking taylor expansion of 0 in z 1.298 * [taylor]: Taking taylor expansion of 0 in z 1.309 * [taylor]: Taking taylor expansion of 0 in y 1.309 * [taylor]: Taking taylor expansion of 0 in z 1.309 * [taylor]: Taking taylor expansion of 0 in z 1.309 * [taylor]: Taking taylor expansion of 0 in z 1.316 * [taylor]: Taking taylor expansion of 0 in z 1.316 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.316 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x y z) around 0 1.316 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z 1.316 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 1.316 * [taylor]: Taking taylor expansion of (cosh x) in z 1.316 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.316 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 1.316 * [taylor]: Taking taylor expansion of (exp x) in z 1.316 * [taylor]: Taking taylor expansion of x in z 1.316 * [taylor]: Taking taylor expansion of (exp (- x)) in z 1.316 * [taylor]: Taking taylor expansion of (- x) in z 1.316 * [taylor]: Taking taylor expansion of x in z 1.316 * [taylor]: Taking taylor expansion of 2 in z 1.317 * [taylor]: Taking taylor expansion of y in z 1.317 * [taylor]: Taking taylor expansion of (* x z) in z 1.317 * [taylor]: Taking taylor expansion of x in z 1.317 * [taylor]: Taking taylor expansion of z in z 1.317 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y 1.317 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 1.317 * [taylor]: Taking taylor expansion of (cosh x) in y 1.317 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.317 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 1.317 * [taylor]: Taking taylor expansion of (exp x) in y 1.317 * [taylor]: Taking taylor expansion of x in y 1.317 * [taylor]: Taking taylor expansion of (exp (- x)) in y 1.317 * [taylor]: Taking taylor expansion of (- x) in y 1.317 * [taylor]: Taking taylor expansion of x in y 1.317 * [taylor]: Taking taylor expansion of 2 in y 1.317 * [taylor]: Taking taylor expansion of y in y 1.317 * [taylor]: Taking taylor expansion of (* x z) in y 1.317 * [taylor]: Taking taylor expansion of x in y 1.317 * [taylor]: Taking taylor expansion of z in y 1.324 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 1.324 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 1.324 * [taylor]: Taking taylor expansion of (cosh x) in x 1.324 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.325 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.325 * [taylor]: Taking taylor expansion of (exp x) in x 1.325 * [taylor]: Taking taylor expansion of x in x 1.325 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.325 * [taylor]: Taking taylor expansion of (- x) in x 1.325 * [taylor]: Taking taylor expansion of x in x 1.325 * [taylor]: Taking taylor expansion of 2 in x 1.326 * [taylor]: Taking taylor expansion of y in x 1.326 * [taylor]: Taking taylor expansion of (* x z) in x 1.326 * [taylor]: Taking taylor expansion of x in x 1.326 * [taylor]: Taking taylor expansion of z in x 1.326 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 1.326 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 1.326 * [taylor]: Taking taylor expansion of (cosh x) in x 1.326 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.326 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.326 * [taylor]: Taking taylor expansion of (exp x) in x 1.326 * [taylor]: Taking taylor expansion of x in x 1.326 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.326 * [taylor]: Taking taylor expansion of (- x) in x 1.326 * [taylor]: Taking taylor expansion of x in x 1.327 * [taylor]: Taking taylor expansion of 2 in x 1.327 * [taylor]: Taking taylor expansion of y in x 1.327 * [taylor]: Taking taylor expansion of (* x z) in x 1.327 * [taylor]: Taking taylor expansion of x in x 1.327 * [taylor]: Taking taylor expansion of z in x 1.328 * [taylor]: Taking taylor expansion of (/ y z) in y 1.328 * [taylor]: Taking taylor expansion of y in y 1.328 * [taylor]: Taking taylor expansion of z in y 1.328 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.328 * [taylor]: Taking taylor expansion of z in z 1.331 * [taylor]: Taking taylor expansion of 0 in y 1.332 * [taylor]: Taking taylor expansion of 0 in z 1.332 * [taylor]: Taking taylor expansion of 0 in z 1.339 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in y 1.339 * [taylor]: Taking taylor expansion of 1/2 in y 1.339 * [taylor]: Taking taylor expansion of (/ y z) in y 1.339 * [taylor]: Taking taylor expansion of y in y 1.339 * [taylor]: Taking taylor expansion of z in y 1.339 * [taylor]: Taking taylor expansion of (/ 1/2 z) in z 1.340 * [taylor]: Taking taylor expansion of 1/2 in z 1.340 * [taylor]: Taking taylor expansion of z in z 1.340 * [taylor]: Taking taylor expansion of 0 in z 1.340 * [taylor]: Taking taylor expansion of 0 in z 1.351 * [taylor]: Taking taylor expansion of 0 in y 1.351 * [taylor]: Taking taylor expansion of 0 in z 1.351 * [taylor]: Taking taylor expansion of 0 in z 1.351 * [taylor]: Taking taylor expansion of 0 in z 1.352 * [taylor]: Taking taylor expansion of 0 in z 1.353 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x y z) around 0 1.353 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z 1.353 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z 1.353 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 1.353 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.353 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 1.353 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 1.353 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.353 * [taylor]: Taking taylor expansion of x in z 1.353 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 1.353 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.353 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.353 * [taylor]: Taking taylor expansion of x in z 1.354 * [taylor]: Taking taylor expansion of 2 in z 1.354 * [taylor]: Taking taylor expansion of (* x z) in z 1.354 * [taylor]: Taking taylor expansion of x in z 1.354 * [taylor]: Taking taylor expansion of z in z 1.354 * [taylor]: Taking taylor expansion of y in z 1.359 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y 1.359 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y 1.359 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 1.359 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.359 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1.359 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.359 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.359 * [taylor]: Taking taylor expansion of x in y 1.359 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.359 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.359 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.359 * [taylor]: Taking taylor expansion of x in y 1.359 * [taylor]: Taking taylor expansion of 2 in y 1.360 * [taylor]: Taking taylor expansion of (* x z) in y 1.360 * [taylor]: Taking taylor expansion of x in y 1.360 * [taylor]: Taking taylor expansion of z in y 1.360 * [taylor]: Taking taylor expansion of y in y 1.360 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 1.360 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 1.360 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.361 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.361 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.361 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.361 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.361 * [taylor]: Taking taylor expansion of x in x 1.361 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.361 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.361 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.361 * [taylor]: Taking taylor expansion of x in x 1.362 * [taylor]: Taking taylor expansion of 2 in x 1.362 * [taylor]: Taking taylor expansion of (* x z) in x 1.362 * [taylor]: Taking taylor expansion of x in x 1.362 * [taylor]: Taking taylor expansion of z in x 1.362 * [taylor]: Taking taylor expansion of y in x 1.365 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 1.365 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 1.365 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.365 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.365 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.365 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.365 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.366 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.367 * [taylor]: Taking taylor expansion of 2 in x 1.367 * [taylor]: Taking taylor expansion of (* x z) in x 1.367 * [taylor]: Taking taylor expansion of x in x 1.367 * [taylor]: Taking taylor expansion of z in x 1.367 * [taylor]: Taking taylor expansion of y in x 1.370 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in y 1.370 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y 1.370 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in y 1.370 * [taylor]: Taking taylor expansion of 1/2 in y 1.370 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in y 1.370 * [taylor]: Taking taylor expansion of z in y 1.370 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.370 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.370 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.370 * [taylor]: Taking taylor expansion of x in y 1.370 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 1.370 * [taylor]: Taking taylor expansion of 1/2 in y 1.370 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 1.371 * [taylor]: Taking taylor expansion of z in y 1.371 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.371 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.371 * [taylor]: Taking taylor expansion of x in y 1.371 * [taylor]: Taking taylor expansion of y in y 1.372 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z 1.372 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in z 1.372 * [taylor]: Taking taylor expansion of 1/2 in z 1.372 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 1.372 * [taylor]: Taking taylor expansion of z in z 1.372 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 1.372 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.372 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.372 * [taylor]: Taking taylor expansion of x in z 1.372 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 1.372 * [taylor]: Taking taylor expansion of 1/2 in z 1.372 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 1.372 * [taylor]: Taking taylor expansion of z in z 1.372 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 1.372 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.372 * [taylor]: Taking taylor expansion of x in z 1.380 * [taylor]: Taking taylor expansion of 0 in y 1.385 * [taylor]: Taking taylor expansion of 0 in z 1.397 * [taylor]: Taking taylor expansion of 0 in y 1.397 * [taylor]: Taking taylor expansion of 0 in z 1.405 * [taylor]: Taking taylor expansion of 0 in z 1.415 * [approximate]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in (x y z) around 0 1.415 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in z 1.415 * [taylor]: Taking taylor expansion of -1 in z 1.415 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in z 1.415 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in z 1.415 * [taylor]: Taking taylor expansion of x in z 1.415 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z 1.415 * [taylor]: Taking taylor expansion of z in z 1.415 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 1.415 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.415 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 1.415 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 1.415 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.415 * [taylor]: Taking taylor expansion of -1 in z 1.415 * [taylor]: Taking taylor expansion of x in z 1.416 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 1.416 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 1.416 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.416 * [taylor]: Taking taylor expansion of -1 in z 1.416 * [taylor]: Taking taylor expansion of x in z 1.416 * [taylor]: Taking taylor expansion of 2 in z 1.416 * [taylor]: Taking taylor expansion of y in z 1.421 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in y 1.421 * [taylor]: Taking taylor expansion of -1 in y 1.421 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in y 1.421 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in y 1.421 * [taylor]: Taking taylor expansion of x in y 1.421 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y 1.421 * [taylor]: Taking taylor expansion of z in y 1.421 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 1.421 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.421 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 1.421 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.421 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.421 * [taylor]: Taking taylor expansion of -1 in y 1.422 * [taylor]: Taking taylor expansion of x in y 1.422 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 1.422 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 1.422 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.422 * [taylor]: Taking taylor expansion of -1 in y 1.422 * [taylor]: Taking taylor expansion of x in y 1.422 * [taylor]: Taking taylor expansion of 2 in y 1.422 * [taylor]: Taking taylor expansion of y in y 1.423 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 1.423 * [taylor]: Taking taylor expansion of -1 in x 1.423 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 1.423 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 1.423 * [taylor]: Taking taylor expansion of x in x 1.423 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 1.423 * [taylor]: Taking taylor expansion of z in x 1.423 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.423 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.423 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.423 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.423 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.423 * [taylor]: Taking taylor expansion of -1 in x 1.423 * [taylor]: Taking taylor expansion of x in x 1.424 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.424 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.424 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.424 * [taylor]: Taking taylor expansion of -1 in x 1.424 * [taylor]: Taking taylor expansion of x in x 1.425 * [taylor]: Taking taylor expansion of 2 in x 1.425 * [taylor]: Taking taylor expansion of y in x 1.428 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 1.428 * [taylor]: Taking taylor expansion of -1 in x 1.428 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 1.428 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 1.428 * [taylor]: Taking taylor expansion of x in x 1.428 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 1.428 * [taylor]: Taking taylor expansion of z in x 1.428 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.428 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.428 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.428 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.428 * [taylor]: Taking taylor expansion of -1 in x 1.428 * [taylor]: Taking taylor expansion of x in x 1.428 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.428 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.429 * [taylor]: Taking taylor expansion of -1 in x 1.429 * [taylor]: Taking taylor expansion of x in x 1.429 * [taylor]: Taking taylor expansion of 2 in x 1.429 * [taylor]: Taking taylor expansion of y in x 1.431 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in y 1.431 * [taylor]: Taking taylor expansion of -1 in y 1.431 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in y 1.431 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y 1.431 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 1.431 * [taylor]: Taking taylor expansion of 1/2 in y 1.431 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 1.431 * [taylor]: Taking taylor expansion of z in y 1.431 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.431 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.431 * [taylor]: Taking taylor expansion of x in y 1.432 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y 1.432 * [taylor]: Taking taylor expansion of 1/2 in y 1.432 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y 1.432 * [taylor]: Taking taylor expansion of z in y 1.432 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.432 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.432 * [taylor]: Taking taylor expansion of -1 in y 1.432 * [taylor]: Taking taylor expansion of x in y 1.432 * [taylor]: Taking taylor expansion of y in y 1.432 * [taylor]: Taking taylor expansion of (* -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z 1.432 * [taylor]: Taking taylor expansion of -1 in z 1.432 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z 1.432 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 1.432 * [taylor]: Taking taylor expansion of 1/2 in z 1.432 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 1.432 * [taylor]: Taking taylor expansion of z in z 1.432 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 1.432 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.432 * [taylor]: Taking taylor expansion of x in z 1.432 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z 1.432 * [taylor]: Taking taylor expansion of 1/2 in z 1.433 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 1.433 * [taylor]: Taking taylor expansion of z in z 1.433 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 1.433 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.433 * [taylor]: Taking taylor expansion of -1 in z 1.433 * [taylor]: Taking taylor expansion of x in z 1.439 * [taylor]: Taking taylor expansion of 0 in y 1.447 * [taylor]: Taking taylor expansion of 0 in z 1.455 * [taylor]: Taking taylor expansion of 0 in y 1.455 * [taylor]: Taking taylor expansion of 0 in z 1.460 * [taylor]: Taking taylor expansion of 0 in z 1.466 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 1.466 * [approximate]: Taking taylor expansion of (* (cosh x) y) in (x y) around 0 1.466 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 1.466 * [taylor]: Taking taylor expansion of (cosh x) in y 1.466 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.466 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 1.466 * [taylor]: Taking taylor expansion of (exp x) in y 1.466 * [taylor]: Taking taylor expansion of x in y 1.467 * [taylor]: Taking taylor expansion of (exp (- x)) in y 1.467 * [taylor]: Taking taylor expansion of (- x) in y 1.467 * [taylor]: Taking taylor expansion of x in y 1.467 * [taylor]: Taking taylor expansion of 2 in y 1.467 * [taylor]: Taking taylor expansion of y in y 1.467 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 1.467 * [taylor]: Taking taylor expansion of (cosh x) in x 1.467 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.467 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.467 * [taylor]: Taking taylor expansion of (exp x) in x 1.467 * [taylor]: Taking taylor expansion of x in x 1.467 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.467 * [taylor]: Taking taylor expansion of (- x) in x 1.467 * [taylor]: Taking taylor expansion of x in x 1.467 * [taylor]: Taking taylor expansion of 2 in x 1.468 * [taylor]: Taking taylor expansion of y in x 1.468 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 1.468 * [taylor]: Taking taylor expansion of (cosh x) in x 1.468 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.468 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.468 * [taylor]: Taking taylor expansion of (exp x) in x 1.468 * [taylor]: Taking taylor expansion of x in x 1.468 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.468 * [taylor]: Taking taylor expansion of (- x) in x 1.468 * [taylor]: Taking taylor expansion of x in x 1.469 * [taylor]: Taking taylor expansion of 2 in x 1.469 * [taylor]: Taking taylor expansion of y in x 1.469 * [taylor]: Taking taylor expansion of y in y 1.471 * [taylor]: Taking taylor expansion of 0 in y 1.475 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 1.475 * [taylor]: Taking taylor expansion of 1/2 in y 1.475 * [taylor]: Taking taylor expansion of y in y 1.480 * [taylor]: Taking taylor expansion of 0 in y 1.488 * [taylor]: Taking taylor expansion of (* 1/24 y) in y 1.488 * [taylor]: Taking taylor expansion of 1/24 in y 1.488 * [taylor]: Taking taylor expansion of y in y 1.489 * [approximate]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in (x y) around 0 1.489 * [taylor]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in y 1.489 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 1.489 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.489 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1.489 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.489 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.489 * [taylor]: Taking taylor expansion of x in y 1.489 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.489 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.489 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.489 * [taylor]: Taking taylor expansion of x in y 1.490 * [taylor]: Taking taylor expansion of 2 in y 1.490 * [taylor]: Taking taylor expansion of y in y 1.490 * [taylor]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in x 1.490 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.490 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.490 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.490 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.490 * [taylor]: Taking taylor expansion of x in x 1.490 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.490 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.490 * [taylor]: Taking taylor expansion of x in x 1.491 * [taylor]: Taking taylor expansion of 2 in x 1.491 * [taylor]: Taking taylor expansion of y in x 1.491 * [taylor]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in x 1.491 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.491 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.491 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.491 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.491 * [taylor]: Taking taylor expansion of x in x 1.492 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.492 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.492 * [taylor]: Taking taylor expansion of x in x 1.492 * [taylor]: Taking taylor expansion of 2 in x 1.492 * [taylor]: Taking taylor expansion of y in x 1.492 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 1.492 * [taylor]: Taking taylor expansion of 1/2 in y 1.493 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 1.493 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1.493 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.493 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.493 * [taylor]: Taking taylor expansion of x in y 1.493 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.493 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.493 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.493 * [taylor]: Taking taylor expansion of x in y 1.493 * [taylor]: Taking taylor expansion of y in y 1.494 * [taylor]: Taking taylor expansion of 0 in y 1.498 * [taylor]: Taking taylor expansion of 0 in y 1.503 * [taylor]: Taking taylor expansion of 0 in y 1.508 * [approximate]: Taking taylor expansion of (* -1 (/ (cosh (/ -1 x)) y)) in (x y) around 0 1.508 * [taylor]: Taking taylor expansion of (* -1 (/ (cosh (/ -1 x)) y)) in y 1.509 * [taylor]: Taking taylor expansion of -1 in y 1.509 * [taylor]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in y 1.509 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 1.509 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.509 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 1.509 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.509 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.509 * [taylor]: Taking taylor expansion of -1 in y 1.509 * [taylor]: Taking taylor expansion of x in y 1.509 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 1.509 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 1.509 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.509 * [taylor]: Taking taylor expansion of -1 in y 1.509 * [taylor]: Taking taylor expansion of x in y 1.509 * [taylor]: Taking taylor expansion of 2 in y 1.509 * [taylor]: Taking taylor expansion of y in y 1.509 * [taylor]: Taking taylor expansion of (* -1 (/ (cosh (/ -1 x)) y)) in x 1.509 * [taylor]: Taking taylor expansion of -1 in x 1.509 * [taylor]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in x 1.509 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.509 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.509 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.509 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.509 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.509 * [taylor]: Taking taylor expansion of -1 in x 1.509 * [taylor]: Taking taylor expansion of x in x 1.510 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.510 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.510 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.510 * [taylor]: Taking taylor expansion of -1 in x 1.510 * [taylor]: Taking taylor expansion of x in x 1.510 * [taylor]: Taking taylor expansion of 2 in x 1.511 * [taylor]: Taking taylor expansion of y in x 1.511 * [taylor]: Taking taylor expansion of (* -1 (/ (cosh (/ -1 x)) y)) in x 1.511 * [taylor]: Taking taylor expansion of -1 in x 1.511 * [taylor]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in x 1.511 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.511 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.511 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.511 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.511 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.511 * [taylor]: Taking taylor expansion of -1 in x 1.511 * [taylor]: Taking taylor expansion of x in x 1.511 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.511 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.511 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.511 * [taylor]: Taking taylor expansion of -1 in x 1.511 * [taylor]: Taking taylor expansion of x in x 1.512 * [taylor]: Taking taylor expansion of 2 in x 1.512 * [taylor]: Taking taylor expansion of y in x 1.512 * [taylor]: Taking taylor expansion of (* -1/2 (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) y)) in y 1.512 * [taylor]: Taking taylor expansion of -1/2 in y 1.512 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) y) in y 1.512 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 1.512 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.512 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.512 * [taylor]: Taking taylor expansion of x in y 1.512 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.512 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.512 * [taylor]: Taking taylor expansion of -1 in y 1.512 * [taylor]: Taking taylor expansion of x in y 1.512 * [taylor]: Taking taylor expansion of y in y 1.514 * [taylor]: Taking taylor expansion of 0 in y 1.518 * [taylor]: Taking taylor expansion of 0 in y 1.529 * [taylor]: Taking taylor expansion of 0 in y 1.533 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1) 1.534 * [approximate]: Taking taylor expansion of (cosh x) in (x) around 0 1.534 * [taylor]: Taking taylor expansion of (cosh x) in x 1.534 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.534 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.534 * [taylor]: Taking taylor expansion of (exp x) in x 1.534 * [taylor]: Taking taylor expansion of x in x 1.534 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.534 * [taylor]: Taking taylor expansion of (- x) in x 1.534 * [taylor]: Taking taylor expansion of x in x 1.534 * [taylor]: Taking taylor expansion of 2 in x 1.535 * [taylor]: Taking taylor expansion of (cosh x) in x 1.535 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.535 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.535 * [taylor]: Taking taylor expansion of (exp x) in x 1.535 * [taylor]: Taking taylor expansion of x in x 1.535 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.535 * [taylor]: Taking taylor expansion of (- x) in x 1.535 * [taylor]: Taking taylor expansion of x in x 1.535 * [taylor]: Taking taylor expansion of 2 in x 1.551 * [approximate]: Taking taylor expansion of (cosh (/ 1 x)) in (x) around 0 1.551 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.551 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.551 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.552 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.552 * [taylor]: Taking taylor expansion of x in x 1.552 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.552 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.552 * [taylor]: Taking taylor expansion of x in x 1.552 * [taylor]: Taking taylor expansion of 2 in x 1.553 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.553 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.553 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.553 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.553 * [taylor]: Taking taylor expansion of x in x 1.553 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.553 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.553 * [taylor]: Taking taylor expansion of x in x 1.554 * [taylor]: Taking taylor expansion of 2 in x 1.563 * [approximate]: Taking taylor expansion of (cosh (/ -1 x)) in (x) around 0 1.563 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.563 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.563 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.563 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.564 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.564 * [taylor]: Taking taylor expansion of -1 in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.564 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.564 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.564 * [taylor]: Taking taylor expansion of -1 in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of 2 in x 1.565 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.565 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.565 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.565 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.565 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.565 * [taylor]: Taking taylor expansion of -1 in x 1.565 * [taylor]: Taking taylor expansion of x in x 1.565 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.565 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.565 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.565 * [taylor]: Taking taylor expansion of -1 in x 1.565 * [taylor]: Taking taylor expansion of x in x 1.566 * [taylor]: Taking taylor expansion of 2 in x 1.575 * * * [progress]: simplifying candidates 1.576 * [simplify]: Simplifying using # : (- x) (- (/ (* (cosh x) y) z)) (/ 1 (/ (* (cosh x) y) z)) (/ (/ (* (cosh x) y) z) x) (/ x (* (cosh x) y)) (/ x (* (cosh x) y)) (/ x (- (* (cosh x) y))) (/ x 1) (/ x (cosh x)) (/ x y) (/ x (* (+ (exp x) (exp (- x))) y)) (- 1) (- (/ x (/ (* (cosh x) y) z))) (/ 1 (/ x (/ (* (cosh x) y) z))) (/ (/ x (/ (* (cosh x) y) z)) 1) (/ 1 x) (/ 1 (/ x (* (cosh x) y))) (/ 1 (/ x (- (* (cosh x) y)))) (/ 1 (/ x 1)) (/ 1 (/ x (cosh x))) (/ 1 (/ x y)) (/ 1 (/ x (* (+ (exp x) (exp (- x))) y))) (/ 1 x) (/ 1 (- x)) (/ 1 1) (/ 1 (/ x (* (cosh x) y))) (* (+ (exp x) (exp (- x))) y) (+ (exp x) (exp (- x))) (- (/ (* x z) y) (* 1/2 (/ (* (pow x 3) z) y))) (/ (* x z) (* y (+ (* 1/2 (exp x)) (* 1/2 (exp (- x)))))) (/ (* z x) (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y)) (+ (* 1/2 (/ (* x y) z)) (/ y (* x z))) (/ (* y (+ (* 1/2 (exp x)) (* 1/2 (exp (- x))))) (* x z)) (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (* z x)) (+ (* 1/2 (* (pow x 2) y)) y) (* 1/2 (* (+ (exp x) (exp (- x))) y)) (* 1/2 (* y (+ (exp (* -1 x)) (exp x)))) (+ (* 1/2 (pow x 2)) (+ (* 1/24 (pow x 4)) 1)) (* 1/2 (+ (exp x) (exp (- x)))) (* 1/2 (+ (exp (* -1 x)) (exp x))) 1.580 * * [simplify]: iteration 0 : 213 enodes (cost 159 ) 1.584 * * [simplify]: iteration 1 : 778 enodes (cost 157 ) 1.599 * * [simplify]: iteration 2 : 4181 enodes (cost 110 ) 1.699 * * [simplify]: iteration 3 : 5001 enodes (cost 110 ) 1.700 * [simplify]: Simplified to: (* -1 x) (- (/ (* (cosh x) y) z)) (/ z (* (cosh x) y)) (/ (/ (* (cosh x) y) z) x) (/ x (* (cosh x) y)) (/ x (* (cosh x) y)) (/ x (- (* (cosh x) y))) x (/ x (cosh x)) (/ x y) (/ (/ x 2) (* (cosh x) y)) (- 1) (- (/ x (/ (* (cosh x) y) z))) (/ (/ (* (cosh x) y) z) x) (/ x (/ (* (cosh x) y) z)) (/ 1 x) (/ (* (cosh x) y) x) (/ (- (* (cosh x) y)) x) (/ 1 x) (/ (cosh x) x) (/ y x) (/ 2 (/ x (* (cosh x) y))) (/ 1 x) (/ -1 x) 1 (/ (* (cosh x) y) x) (* (* (cosh x) y) 2) (* (cosh x) 2) (- (/ (* x z) y) (* 1/2 (/ (* (pow x 3) z) y))) (/ x (/ (* (cosh x) y) z)) (/ x (/ (* (cosh x) y) z)) (fma 1/2 (/ (* x y) z) (/ y (* x z))) (/ (/ (* (cosh x) y) z) x) (/ (/ (* (cosh x) y) z) x) (fma 1/2 (* (pow x 2) y) y) (* (cosh x) y) (* (cosh x) y) (fma 1/2 (pow x 2) (fma 1/24 (pow x 4) 1)) (cosh x) (cosh x) 1.701 * * * [progress]: adding candidates to table 1.780 * * [progress]: iteration 4 / 4 1.780 * * * [progress]: picking best candidate 1.786 * * * * [pick]: Picked # 1.786 * * * [progress]: localizing error 1.794 * * * [progress]: generating rewritten candidates 1.794 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.798 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.803 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 1.805 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2) 1.807 * * * [progress]: generating series expansions 1.807 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.807 * [approximate]: Taking taylor expansion of (/ (* x z) (* (cosh x) y)) in (x y z) around 0 1.807 * [taylor]: Taking taylor expansion of (/ (* x z) (* (cosh x) y)) in z 1.807 * [taylor]: Taking taylor expansion of (* x z) in z 1.807 * [taylor]: Taking taylor expansion of x in z 1.807 * [taylor]: Taking taylor expansion of z in z 1.807 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 1.807 * [taylor]: Taking taylor expansion of (cosh x) in z 1.807 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.807 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 1.807 * [taylor]: Taking taylor expansion of (exp x) in z 1.807 * [taylor]: Taking taylor expansion of x in z 1.807 * [taylor]: Taking taylor expansion of (exp (- x)) in z 1.807 * [taylor]: Taking taylor expansion of (- x) in z 1.807 * [taylor]: Taking taylor expansion of x in z 1.807 * [taylor]: Taking taylor expansion of 2 in z 1.807 * [taylor]: Taking taylor expansion of y in z 1.808 * [taylor]: Taking taylor expansion of (/ (* x z) (* (cosh x) y)) in y 1.808 * [taylor]: Taking taylor expansion of (* x z) in y 1.808 * [taylor]: Taking taylor expansion of x in y 1.808 * [taylor]: Taking taylor expansion of z in y 1.808 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 1.808 * [taylor]: Taking taylor expansion of (cosh x) in y 1.808 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.808 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 1.808 * [taylor]: Taking taylor expansion of (exp x) in y 1.808 * [taylor]: Taking taylor expansion of x in y 1.808 * [taylor]: Taking taylor expansion of (exp (- x)) in y 1.808 * [taylor]: Taking taylor expansion of (- x) in y 1.808 * [taylor]: Taking taylor expansion of x in y 1.808 * [taylor]: Taking taylor expansion of 2 in y 1.808 * [taylor]: Taking taylor expansion of y in y 1.811 * [taylor]: Taking taylor expansion of (/ (* x z) (* (cosh x) y)) in x 1.811 * [taylor]: Taking taylor expansion of (* x z) in x 1.811 * [taylor]: Taking taylor expansion of x in x 1.811 * [taylor]: Taking taylor expansion of z in x 1.811 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 1.811 * [taylor]: Taking taylor expansion of (cosh x) in x 1.811 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.811 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.811 * [taylor]: Taking taylor expansion of (exp x) in x 1.811 * [taylor]: Taking taylor expansion of x in x 1.811 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.811 * [taylor]: Taking taylor expansion of (- x) in x 1.811 * [taylor]: Taking taylor expansion of x in x 1.812 * [taylor]: Taking taylor expansion of 2 in x 1.812 * [taylor]: Taking taylor expansion of y in x 1.813 * [taylor]: Taking taylor expansion of (/ (* x z) (* (cosh x) y)) in x 1.813 * [taylor]: Taking taylor expansion of (* x z) in x 1.813 * [taylor]: Taking taylor expansion of x in x 1.813 * [taylor]: Taking taylor expansion of z in x 1.813 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 1.813 * [taylor]: Taking taylor expansion of (cosh x) in x 1.813 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.813 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.813 * [taylor]: Taking taylor expansion of (exp x) in x 1.813 * [taylor]: Taking taylor expansion of x in x 1.813 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.813 * [taylor]: Taking taylor expansion of (- x) in x 1.813 * [taylor]: Taking taylor expansion of x in x 1.813 * [taylor]: Taking taylor expansion of 2 in x 1.814 * [taylor]: Taking taylor expansion of y in x 1.814 * [taylor]: Taking taylor expansion of (/ z y) in y 1.814 * [taylor]: Taking taylor expansion of z in y 1.814 * [taylor]: Taking taylor expansion of y in y 1.814 * [taylor]: Taking taylor expansion of z in z 1.817 * [taylor]: Taking taylor expansion of 0 in y 1.818 * [taylor]: Taking taylor expansion of 0 in z 1.822 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ z y))) in y 1.822 * [taylor]: Taking taylor expansion of (* 1/2 (/ z y)) in y 1.822 * [taylor]: Taking taylor expansion of 1/2 in y 1.822 * [taylor]: Taking taylor expansion of (/ z y) in y 1.822 * [taylor]: Taking taylor expansion of z in y 1.822 * [taylor]: Taking taylor expansion of y in y 1.823 * [taylor]: Taking taylor expansion of (- (* 1/2 z)) in z 1.823 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 1.823 * [taylor]: Taking taylor expansion of 1/2 in z 1.823 * [taylor]: Taking taylor expansion of z in z 1.823 * [taylor]: Taking taylor expansion of 0 in z 1.824 * [taylor]: Taking taylor expansion of 0 in z 1.830 * [taylor]: Taking taylor expansion of 0 in y 1.831 * [taylor]: Taking taylor expansion of 0 in z 1.831 * [taylor]: Taking taylor expansion of 0 in z 1.832 * [approximate]: Taking taylor expansion of (/ y (* (cosh (/ 1 x)) (* x z))) in (x y z) around 0 1.832 * [taylor]: Taking taylor expansion of (/ y (* (cosh (/ 1 x)) (* x z))) in z 1.832 * [taylor]: Taking taylor expansion of y in z 1.832 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z 1.832 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 1.832 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.832 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 1.832 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 1.832 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.832 * [taylor]: Taking taylor expansion of x in z 1.832 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 1.832 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.832 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.832 * [taylor]: Taking taylor expansion of x in z 1.832 * [taylor]: Taking taylor expansion of 2 in z 1.832 * [taylor]: Taking taylor expansion of (* x z) in z 1.832 * [taylor]: Taking taylor expansion of x in z 1.832 * [taylor]: Taking taylor expansion of z in z 1.835 * [taylor]: Taking taylor expansion of (/ y (* (cosh (/ 1 x)) (* x z))) in y 1.836 * [taylor]: Taking taylor expansion of y in y 1.836 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y 1.836 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 1.836 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.836 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1.836 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.836 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.836 * [taylor]: Taking taylor expansion of x in y 1.836 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.836 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.836 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.836 * [taylor]: Taking taylor expansion of x in y 1.836 * [taylor]: Taking taylor expansion of 2 in y 1.836 * [taylor]: Taking taylor expansion of (* x z) in y 1.836 * [taylor]: Taking taylor expansion of x in y 1.836 * [taylor]: Taking taylor expansion of z in y 1.836 * [taylor]: Taking taylor expansion of (/ y (* (cosh (/ 1 x)) (* x z))) in x 1.836 * [taylor]: Taking taylor expansion of y in x 1.837 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 1.837 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.837 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.837 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.837 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.837 * [taylor]: Taking taylor expansion of x in x 1.837 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.837 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.837 * [taylor]: Taking taylor expansion of x in x 1.838 * [taylor]: Taking taylor expansion of 2 in x 1.838 * [taylor]: Taking taylor expansion of (* x z) in x 1.838 * [taylor]: Taking taylor expansion of x in x 1.838 * [taylor]: Taking taylor expansion of z in x 1.840 * [taylor]: Taking taylor expansion of (/ y (* (cosh (/ 1 x)) (* x z))) in x 1.840 * [taylor]: Taking taylor expansion of y in x 1.840 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 1.840 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.840 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.840 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.840 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.840 * [taylor]: Taking taylor expansion of x in x 1.840 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.840 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.840 * [taylor]: Taking taylor expansion of x in x 1.845 * [taylor]: Taking taylor expansion of 2 in x 1.845 * [taylor]: Taking taylor expansion of (* x z) in x 1.845 * [taylor]: Taking taylor expansion of x in x 1.845 * [taylor]: Taking taylor expansion of z in x 1.847 * [taylor]: Taking taylor expansion of (/ y (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x)))))) in y 1.847 * [taylor]: Taking taylor expansion of y in y 1.847 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y 1.847 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in y 1.847 * [taylor]: Taking taylor expansion of 1/2 in y 1.847 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in y 1.847 * [taylor]: Taking taylor expansion of z in y 1.847 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.847 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.847 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.847 * [taylor]: Taking taylor expansion of x in y 1.848 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 1.848 * [taylor]: Taking taylor expansion of 1/2 in y 1.848 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 1.848 * [taylor]: Taking taylor expansion of z in y 1.848 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.848 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.848 * [taylor]: Taking taylor expansion of x in y 1.848 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x)))))) in z 1.848 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z 1.848 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in z 1.848 * [taylor]: Taking taylor expansion of 1/2 in z 1.848 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 1.848 * [taylor]: Taking taylor expansion of z in z 1.848 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 1.848 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.848 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.848 * [taylor]: Taking taylor expansion of x in z 1.848 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 1.849 * [taylor]: Taking taylor expansion of 1/2 in z 1.849 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 1.849 * [taylor]: Taking taylor expansion of z in z 1.849 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 1.849 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.849 * [taylor]: Taking taylor expansion of x in z 1.855 * [taylor]: Taking taylor expansion of 0 in y 1.855 * [taylor]: Taking taylor expansion of 0 in z 1.858 * [taylor]: Taking taylor expansion of 0 in z 1.866 * [taylor]: Taking taylor expansion of 0 in y 1.866 * [taylor]: Taking taylor expansion of 0 in z 1.866 * [taylor]: Taking taylor expansion of 0 in z 1.871 * [taylor]: Taking taylor expansion of 0 in z 1.882 * [taylor]: Taking taylor expansion of 0 in y 1.882 * [taylor]: Taking taylor expansion of 0 in z 1.882 * [taylor]: Taking taylor expansion of 0 in z 1.882 * [taylor]: Taking taylor expansion of 0 in z 1.889 * [taylor]: Taking taylor expansion of 0 in z 1.889 * [approximate]: Taking taylor expansion of (* -1 (/ y (* x (* z (cosh (/ -1 x)))))) in (x y z) around 0 1.889 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x (* z (cosh (/ -1 x)))))) in z 1.889 * [taylor]: Taking taylor expansion of -1 in z 1.889 * [taylor]: Taking taylor expansion of (/ y (* x (* z (cosh (/ -1 x))))) in z 1.889 * [taylor]: Taking taylor expansion of y in z 1.889 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in z 1.889 * [taylor]: Taking taylor expansion of x in z 1.890 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z 1.890 * [taylor]: Taking taylor expansion of z in z 1.890 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 1.890 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.890 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 1.890 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 1.890 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.890 * [taylor]: Taking taylor expansion of -1 in z 1.890 * [taylor]: Taking taylor expansion of x in z 1.890 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 1.890 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 1.890 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.890 * [taylor]: Taking taylor expansion of -1 in z 1.890 * [taylor]: Taking taylor expansion of x in z 1.890 * [taylor]: Taking taylor expansion of 2 in z 1.894 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x (* z (cosh (/ -1 x)))))) in y 1.894 * [taylor]: Taking taylor expansion of -1 in y 1.894 * [taylor]: Taking taylor expansion of (/ y (* x (* z (cosh (/ -1 x))))) in y 1.894 * [taylor]: Taking taylor expansion of y in y 1.894 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in y 1.894 * [taylor]: Taking taylor expansion of x in y 1.894 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y 1.894 * [taylor]: Taking taylor expansion of z in y 1.894 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 1.894 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.894 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 1.894 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.894 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.894 * [taylor]: Taking taylor expansion of -1 in y 1.894 * [taylor]: Taking taylor expansion of x in y 1.894 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 1.894 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 1.894 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.894 * [taylor]: Taking taylor expansion of -1 in y 1.894 * [taylor]: Taking taylor expansion of x in y 1.894 * [taylor]: Taking taylor expansion of 2 in y 1.895 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x (* z (cosh (/ -1 x)))))) in x 1.895 * [taylor]: Taking taylor expansion of -1 in x 1.895 * [taylor]: Taking taylor expansion of (/ y (* x (* z (cosh (/ -1 x))))) in x 1.895 * [taylor]: Taking taylor expansion of y in x 1.895 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 1.895 * [taylor]: Taking taylor expansion of x in x 1.895 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 1.895 * [taylor]: Taking taylor expansion of z in x 1.895 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.895 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.895 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.895 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.895 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.895 * [taylor]: Taking taylor expansion of -1 in x 1.895 * [taylor]: Taking taylor expansion of x in x 1.895 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.895 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.895 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.895 * [taylor]: Taking taylor expansion of -1 in x 1.895 * [taylor]: Taking taylor expansion of x in x 1.896 * [taylor]: Taking taylor expansion of 2 in x 1.898 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x (* z (cosh (/ -1 x)))))) in x 1.898 * [taylor]: Taking taylor expansion of -1 in x 1.898 * [taylor]: Taking taylor expansion of (/ y (* x (* z (cosh (/ -1 x))))) in x 1.898 * [taylor]: Taking taylor expansion of y in x 1.898 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 1.898 * [taylor]: Taking taylor expansion of x in x 1.898 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 1.898 * [taylor]: Taking taylor expansion of z in x 1.898 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 1.898 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 1.898 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 1.898 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.898 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.898 * [taylor]: Taking taylor expansion of -1 in x 1.898 * [taylor]: Taking taylor expansion of x in x 1.898 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 1.898 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 1.898 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.898 * [taylor]: Taking taylor expansion of -1 in x 1.898 * [taylor]: Taking taylor expansion of x in x 1.899 * [taylor]: Taking taylor expansion of 2 in x 1.901 * [taylor]: Taking taylor expansion of (* -1 (/ y (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))))) in y 1.901 * [taylor]: Taking taylor expansion of -1 in y 1.901 * [taylor]: Taking taylor expansion of (/ y (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in y 1.901 * [taylor]: Taking taylor expansion of y in y 1.901 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y 1.901 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 1.901 * [taylor]: Taking taylor expansion of 1/2 in y 1.901 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 1.901 * [taylor]: Taking taylor expansion of z in y 1.901 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.901 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.901 * [taylor]: Taking taylor expansion of x in y 1.901 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y 1.901 * [taylor]: Taking taylor expansion of 1/2 in y 1.902 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y 1.902 * [taylor]: Taking taylor expansion of z in y 1.902 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1.902 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.902 * [taylor]: Taking taylor expansion of -1 in y 1.902 * [taylor]: Taking taylor expansion of x in y 1.902 * [taylor]: Taking taylor expansion of (/ -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z 1.902 * [taylor]: Taking taylor expansion of -1 in z 1.902 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z 1.902 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 1.902 * [taylor]: Taking taylor expansion of 1/2 in z 1.902 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 1.902 * [taylor]: Taking taylor expansion of z in z 1.902 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 1.902 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.902 * [taylor]: Taking taylor expansion of x in z 1.902 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z 1.902 * [taylor]: Taking taylor expansion of 1/2 in z 1.902 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 1.902 * [taylor]: Taking taylor expansion of z in z 1.902 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 1.903 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.903 * [taylor]: Taking taylor expansion of -1 in z 1.903 * [taylor]: Taking taylor expansion of x in z 1.909 * [taylor]: Taking taylor expansion of 0 in y 1.909 * [taylor]: Taking taylor expansion of 0 in z 1.912 * [taylor]: Taking taylor expansion of 0 in z 1.920 * [taylor]: Taking taylor expansion of 0 in y 1.920 * [taylor]: Taking taylor expansion of 0 in z 1.920 * [taylor]: Taking taylor expansion of 0 in z 1.925 * [taylor]: Taking taylor expansion of 0 in z 1.941 * [taylor]: Taking taylor expansion of 0 in y 1.942 * [taylor]: Taking taylor expansion of 0 in z 1.942 * [taylor]: Taking taylor expansion of 0 in z 1.942 * [taylor]: Taking taylor expansion of 0 in z 1.948 * [taylor]: Taking taylor expansion of 0 in z 1.949 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.949 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x y z) around 0 1.949 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z 1.949 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 1.949 * [taylor]: Taking taylor expansion of (cosh x) in z 1.949 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.949 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 1.949 * [taylor]: Taking taylor expansion of (exp x) in z 1.949 * [taylor]: Taking taylor expansion of x in z 1.949 * [taylor]: Taking taylor expansion of (exp (- x)) in z 1.949 * [taylor]: Taking taylor expansion of (- x) in z 1.949 * [taylor]: Taking taylor expansion of x in z 1.949 * [taylor]: Taking taylor expansion of 2 in z 1.949 * [taylor]: Taking taylor expansion of y in z 1.949 * [taylor]: Taking taylor expansion of (* x z) in z 1.949 * [taylor]: Taking taylor expansion of x in z 1.949 * [taylor]: Taking taylor expansion of z in z 1.950 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y 1.950 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 1.950 * [taylor]: Taking taylor expansion of (cosh x) in y 1.950 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.950 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 1.950 * [taylor]: Taking taylor expansion of (exp x) in y 1.950 * [taylor]: Taking taylor expansion of x in y 1.950 * [taylor]: Taking taylor expansion of (exp (- x)) in y 1.950 * [taylor]: Taking taylor expansion of (- x) in y 1.950 * [taylor]: Taking taylor expansion of x in y 1.950 * [taylor]: Taking taylor expansion of 2 in y 1.951 * [taylor]: Taking taylor expansion of y in y 1.951 * [taylor]: Taking taylor expansion of (* x z) in y 1.951 * [taylor]: Taking taylor expansion of x in y 1.951 * [taylor]: Taking taylor expansion of z in y 1.953 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 1.953 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 1.953 * [taylor]: Taking taylor expansion of (cosh x) in x 1.953 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.953 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.953 * [taylor]: Taking taylor expansion of (exp x) in x 1.953 * [taylor]: Taking taylor expansion of x in x 1.953 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.953 * [taylor]: Taking taylor expansion of (- x) in x 1.954 * [taylor]: Taking taylor expansion of x in x 1.954 * [taylor]: Taking taylor expansion of 2 in x 1.954 * [taylor]: Taking taylor expansion of y in x 1.954 * [taylor]: Taking taylor expansion of (* x z) in x 1.955 * [taylor]: Taking taylor expansion of x in x 1.955 * [taylor]: Taking taylor expansion of z in x 1.955 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 1.955 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 1.955 * [taylor]: Taking taylor expansion of (cosh x) in x 1.955 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 1.955 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 1.955 * [taylor]: Taking taylor expansion of (exp x) in x 1.955 * [taylor]: Taking taylor expansion of x in x 1.955 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.955 * [taylor]: Taking taylor expansion of (- x) in x 1.955 * [taylor]: Taking taylor expansion of x in x 1.956 * [taylor]: Taking taylor expansion of 2 in x 1.956 * [taylor]: Taking taylor expansion of y in x 1.956 * [taylor]: Taking taylor expansion of (* x z) in x 1.956 * [taylor]: Taking taylor expansion of x in x 1.956 * [taylor]: Taking taylor expansion of z in x 1.957 * [taylor]: Taking taylor expansion of (/ y z) in y 1.957 * [taylor]: Taking taylor expansion of y in y 1.957 * [taylor]: Taking taylor expansion of z in y 1.957 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.957 * [taylor]: Taking taylor expansion of z in z 1.960 * [taylor]: Taking taylor expansion of 0 in y 1.960 * [taylor]: Taking taylor expansion of 0 in z 1.960 * [taylor]: Taking taylor expansion of 0 in z 1.965 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in y 1.965 * [taylor]: Taking taylor expansion of 1/2 in y 1.965 * [taylor]: Taking taylor expansion of (/ y z) in y 1.965 * [taylor]: Taking taylor expansion of y in y 1.965 * [taylor]: Taking taylor expansion of z in y 1.965 * [taylor]: Taking taylor expansion of (/ 1/2 z) in z 1.965 * [taylor]: Taking taylor expansion of 1/2 in z 1.965 * [taylor]: Taking taylor expansion of z in z 1.965 * [taylor]: Taking taylor expansion of 0 in z 1.965 * [taylor]: Taking taylor expansion of 0 in z 1.972 * [taylor]: Taking taylor expansion of 0 in y 1.972 * [taylor]: Taking taylor expansion of 0 in z 1.973 * [taylor]: Taking taylor expansion of 0 in z 1.973 * [taylor]: Taking taylor expansion of 0 in z 1.973 * [taylor]: Taking taylor expansion of 0 in z 1.974 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x y z) around 0 1.974 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z 1.974 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z 1.974 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 1.974 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.974 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 1.974 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 1.974 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.974 * [taylor]: Taking taylor expansion of x in z 1.974 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 1.974 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.974 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.974 * [taylor]: Taking taylor expansion of x in z 1.974 * [taylor]: Taking taylor expansion of 2 in z 1.975 * [taylor]: Taking taylor expansion of (* x z) in z 1.975 * [taylor]: Taking taylor expansion of x in z 1.975 * [taylor]: Taking taylor expansion of z in z 1.975 * [taylor]: Taking taylor expansion of y in z 1.978 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y 1.978 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y 1.978 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 1.978 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.978 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1.978 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.978 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.978 * [taylor]: Taking taylor expansion of x in y 1.978 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.978 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.978 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.978 * [taylor]: Taking taylor expansion of x in y 1.978 * [taylor]: Taking taylor expansion of 2 in y 1.978 * [taylor]: Taking taylor expansion of (* x z) in y 1.978 * [taylor]: Taking taylor expansion of x in y 1.978 * [taylor]: Taking taylor expansion of z in y 1.978 * [taylor]: Taking taylor expansion of y in y 1.979 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 1.979 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 1.979 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.979 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.979 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.979 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.979 * [taylor]: Taking taylor expansion of x in x 1.979 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.979 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.979 * [taylor]: Taking taylor expansion of x in x 1.980 * [taylor]: Taking taylor expansion of 2 in x 1.980 * [taylor]: Taking taylor expansion of (* x z) in x 1.980 * [taylor]: Taking taylor expansion of x in x 1.980 * [taylor]: Taking taylor expansion of z in x 1.980 * [taylor]: Taking taylor expansion of y in x 1.982 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 1.982 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 1.982 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 1.982 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 1.982 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1.982 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.982 * [taylor]: Taking taylor expansion of x in x 1.982 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.982 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.982 * [taylor]: Taking taylor expansion of x in x 1.983 * [taylor]: Taking taylor expansion of 2 in x 1.983 * [taylor]: Taking taylor expansion of (* x z) in x 1.983 * [taylor]: Taking taylor expansion of x in x 1.983 * [taylor]: Taking taylor expansion of z in x 1.983 * [taylor]: Taking taylor expansion of y in x 1.985 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in y 1.985 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y 1.985 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in y 1.985 * [taylor]: Taking taylor expansion of 1/2 in y 1.985 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in y 1.985 * [taylor]: Taking taylor expansion of z in y 1.985 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1.985 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1.985 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.985 * [taylor]: Taking taylor expansion of x in y 1.985 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 1.985 * [taylor]: Taking taylor expansion of 1/2 in y 1.985 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 1.985 * [taylor]: Taking taylor expansion of z in y 1.985 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1.985 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.985 * [taylor]: Taking taylor expansion of x in y 1.985 * [taylor]: Taking taylor expansion of y in y 1.986 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z 1.986 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in z 1.986 * [taylor]: Taking taylor expansion of 1/2 in z 1.986 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 1.986 * [taylor]: Taking taylor expansion of z in z 1.986 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 1.986 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.986 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.986 * [taylor]: Taking taylor expansion of x in z 1.986 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 1.986 * [taylor]: Taking taylor expansion of 1/2 in z 1.986 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 1.986 * [taylor]: Taking taylor expansion of z in z 1.986 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 1.986 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.986 * [taylor]: Taking taylor expansion of x in z 1.991 * [taylor]: Taking taylor expansion of 0 in y 1.994 * [taylor]: Taking taylor expansion of 0 in z 2.002 * [taylor]: Taking taylor expansion of 0 in y 2.002 * [taylor]: Taking taylor expansion of 0 in z 2.007 * [taylor]: Taking taylor expansion of 0 in z 2.014 * [approximate]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in (x y z) around 0 2.014 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in z 2.014 * [taylor]: Taking taylor expansion of -1 in z 2.014 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in z 2.014 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in z 2.014 * [taylor]: Taking taylor expansion of x in z 2.014 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z 2.014 * [taylor]: Taking taylor expansion of z in z 2.014 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 2.014 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 2.014 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 2.014 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 2.014 * [taylor]: Taking taylor expansion of (/ -1 x) in z 2.014 * [taylor]: Taking taylor expansion of -1 in z 2.014 * [taylor]: Taking taylor expansion of x in z 2.014 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 2.014 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 2.014 * [taylor]: Taking taylor expansion of (/ -1 x) in z 2.014 * [taylor]: Taking taylor expansion of -1 in z 2.014 * [taylor]: Taking taylor expansion of x in z 2.014 * [taylor]: Taking taylor expansion of 2 in z 2.014 * [taylor]: Taking taylor expansion of y in z 2.022 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in y 2.022 * [taylor]: Taking taylor expansion of -1 in y 2.022 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in y 2.023 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in y 2.023 * [taylor]: Taking taylor expansion of x in y 2.023 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y 2.023 * [taylor]: Taking taylor expansion of z in y 2.023 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 2.023 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 2.023 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 2.023 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.023 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.023 * [taylor]: Taking taylor expansion of -1 in y 2.023 * [taylor]: Taking taylor expansion of x in y 2.023 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 2.023 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 2.023 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.023 * [taylor]: Taking taylor expansion of -1 in y 2.023 * [taylor]: Taking taylor expansion of x in y 2.023 * [taylor]: Taking taylor expansion of 2 in y 2.023 * [taylor]: Taking taylor expansion of y in y 2.024 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 2.024 * [taylor]: Taking taylor expansion of -1 in x 2.024 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 2.024 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 2.024 * [taylor]: Taking taylor expansion of x in x 2.024 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 2.024 * [taylor]: Taking taylor expansion of z in x 2.024 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 2.024 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 2.024 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 2.024 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.024 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.024 * [taylor]: Taking taylor expansion of -1 in x 2.024 * [taylor]: Taking taylor expansion of x in x 2.024 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 2.024 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 2.024 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.024 * [taylor]: Taking taylor expansion of -1 in x 2.024 * [taylor]: Taking taylor expansion of x in x 2.025 * [taylor]: Taking taylor expansion of 2 in x 2.025 * [taylor]: Taking taylor expansion of y in x 2.027 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 2.027 * [taylor]: Taking taylor expansion of -1 in x 2.027 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 2.027 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 2.027 * [taylor]: Taking taylor expansion of x in x 2.027 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 2.027 * [taylor]: Taking taylor expansion of z in x 2.027 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 2.027 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 2.027 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 2.027 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.027 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.027 * [taylor]: Taking taylor expansion of -1 in x 2.027 * [taylor]: Taking taylor expansion of x in x 2.027 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 2.027 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 2.027 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.027 * [taylor]: Taking taylor expansion of -1 in x 2.027 * [taylor]: Taking taylor expansion of x in x 2.028 * [taylor]: Taking taylor expansion of 2 in x 2.028 * [taylor]: Taking taylor expansion of y in x 2.030 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in y 2.030 * [taylor]: Taking taylor expansion of -1 in y 2.030 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in y 2.030 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y 2.030 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 2.030 * [taylor]: Taking taylor expansion of 1/2 in y 2.030 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 2.030 * [taylor]: Taking taylor expansion of z in y 2.030 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.030 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.030 * [taylor]: Taking taylor expansion of x in y 2.030 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y 2.030 * [taylor]: Taking taylor expansion of 1/2 in y 2.030 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y 2.030 * [taylor]: Taking taylor expansion of z in y 2.030 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.030 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.030 * [taylor]: Taking taylor expansion of -1 in y 2.030 * [taylor]: Taking taylor expansion of x in y 2.030 * [taylor]: Taking taylor expansion of y in y 2.031 * [taylor]: Taking taylor expansion of (* -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z 2.031 * [taylor]: Taking taylor expansion of -1 in z 2.031 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z 2.031 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 2.031 * [taylor]: Taking taylor expansion of 1/2 in z 2.031 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 2.031 * [taylor]: Taking taylor expansion of z in z 2.031 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 2.031 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.031 * [taylor]: Taking taylor expansion of x in z 2.031 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z 2.031 * [taylor]: Taking taylor expansion of 1/2 in z 2.031 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 2.031 * [taylor]: Taking taylor expansion of z in z 2.031 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 2.031 * [taylor]: Taking taylor expansion of (/ -1 x) in z 2.031 * [taylor]: Taking taylor expansion of -1 in z 2.031 * [taylor]: Taking taylor expansion of x in z 2.038 * [taylor]: Taking taylor expansion of 0 in y 2.041 * [taylor]: Taking taylor expansion of 0 in z 2.049 * [taylor]: Taking taylor expansion of 0 in y 2.049 * [taylor]: Taking taylor expansion of 0 in z 2.055 * [taylor]: Taking taylor expansion of 0 in z 2.061 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 2.061 * [approximate]: Taking taylor expansion of (* (cosh x) y) in (y x) around 0 2.061 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 2.061 * [taylor]: Taking taylor expansion of (cosh x) in x 2.062 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 2.062 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.062 * [taylor]: Taking taylor expansion of (exp x) in x 2.062 * [taylor]: Taking taylor expansion of x in x 2.062 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.062 * [taylor]: Taking taylor expansion of (- x) in x 2.062 * [taylor]: Taking taylor expansion of x in x 2.062 * [taylor]: Taking taylor expansion of 2 in x 2.063 * [taylor]: Taking taylor expansion of y in x 2.063 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 2.063 * [taylor]: Taking taylor expansion of (cosh x) in y 2.063 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 2.063 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 2.063 * [taylor]: Taking taylor expansion of (exp x) in y 2.063 * [taylor]: Taking taylor expansion of x in y 2.063 * [taylor]: Taking taylor expansion of (exp (- x)) in y 2.063 * [taylor]: Taking taylor expansion of (- x) in y 2.063 * [taylor]: Taking taylor expansion of x in y 2.063 * [taylor]: Taking taylor expansion of 2 in y 2.063 * [taylor]: Taking taylor expansion of y in y 2.063 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 2.063 * [taylor]: Taking taylor expansion of (cosh x) in y 2.063 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 2.063 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 2.063 * [taylor]: Taking taylor expansion of (exp x) in y 2.063 * [taylor]: Taking taylor expansion of x in y 2.063 * [taylor]: Taking taylor expansion of (exp (- x)) in y 2.063 * [taylor]: Taking taylor expansion of (- x) in y 2.063 * [taylor]: Taking taylor expansion of x in y 2.063 * [taylor]: Taking taylor expansion of 2 in y 2.064 * [taylor]: Taking taylor expansion of y in y 2.064 * [taylor]: Taking taylor expansion of 0 in x 2.066 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (exp (- x)))) in x 2.066 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x 2.066 * [taylor]: Taking taylor expansion of 1/2 in x 2.066 * [taylor]: Taking taylor expansion of (exp x) in x 2.066 * [taylor]: Taking taylor expansion of x in x 2.066 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- x))) in x 2.066 * [taylor]: Taking taylor expansion of 1/2 in x 2.066 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.066 * [taylor]: Taking taylor expansion of (- x) in x 2.066 * [taylor]: Taking taylor expansion of x in x 2.071 * [taylor]: Taking taylor expansion of 0 in x 2.078 * [taylor]: Taking taylor expansion of 0 in x 2.078 * [approximate]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in (y x) around 0 2.078 * [taylor]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in x 2.078 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 2.078 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 2.078 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.078 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.079 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.079 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.079 * [taylor]: Taking taylor expansion of x in x 2.079 * [taylor]: Taking taylor expansion of 2 in x 2.079 * [taylor]: Taking taylor expansion of y in x 2.079 * [taylor]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in y 2.079 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 2.079 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 2.079 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 2.080 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.080 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.080 * [taylor]: Taking taylor expansion of x in y 2.080 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 2.080 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 2.080 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.080 * [taylor]: Taking taylor expansion of x in y 2.080 * [taylor]: Taking taylor expansion of 2 in y 2.080 * [taylor]: Taking taylor expansion of y in y 2.080 * [taylor]: Taking taylor expansion of (/ (cosh (/ 1 x)) y) in y 2.080 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 2.080 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 2.080 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 2.080 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 2.080 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.080 * [taylor]: Taking taylor expansion of x in y 2.080 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 2.080 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 2.080 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.080 * [taylor]: Taking taylor expansion of x in y 2.080 * [taylor]: Taking taylor expansion of 2 in y 2.081 * [taylor]: Taking taylor expansion of y in y 2.081 * [taylor]: Taking taylor expansion of (* 1/2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 2.081 * [taylor]: Taking taylor expansion of 1/2 in x 2.081 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.081 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.081 * [taylor]: Taking taylor expansion of x in x 2.081 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.081 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.081 * [taylor]: Taking taylor expansion of x in x 2.085 * [taylor]: Taking taylor expansion of 0 in x 2.090 * [taylor]: Taking taylor expansion of 0 in x 2.096 * [taylor]: Taking taylor expansion of 0 in x 2.096 * [approximate]: Taking taylor expansion of (* -1 (/ (cosh (/ -1 x)) y)) in (y x) around 0 2.096 * [taylor]: Taking taylor expansion of (* -1 (/ (cosh (/ -1 x)) y)) in x 2.096 * [taylor]: Taking taylor expansion of -1 in x 2.096 * [taylor]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in x 2.096 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 2.096 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 2.096 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 2.096 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.096 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.096 * [taylor]: Taking taylor expansion of -1 in x 2.097 * [taylor]: Taking taylor expansion of x in x 2.097 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 2.097 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 2.097 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.097 * [taylor]: Taking taylor expansion of -1 in x 2.097 * [taylor]: Taking taylor expansion of x in x 2.097 * [taylor]: Taking taylor expansion of 2 in x 2.098 * [taylor]: Taking taylor expansion of y in x 2.098 * [taylor]: Taking taylor expansion of (* -1 (/ (cosh (/ -1 x)) y)) in y 2.098 * [taylor]: Taking taylor expansion of -1 in y 2.098 * [taylor]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in y 2.098 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 2.098 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 2.098 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 2.098 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.098 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.098 * [taylor]: Taking taylor expansion of -1 in y 2.098 * [taylor]: Taking taylor expansion of x in y 2.098 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 2.098 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 2.098 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.098 * [taylor]: Taking taylor expansion of -1 in y 2.098 * [taylor]: Taking taylor expansion of x in y 2.098 * [taylor]: Taking taylor expansion of 2 in y 2.098 * [taylor]: Taking taylor expansion of y in y 2.098 * [taylor]: Taking taylor expansion of (* -1 (/ (cosh (/ -1 x)) y)) in y 2.098 * [taylor]: Taking taylor expansion of -1 in y 2.098 * [taylor]: Taking taylor expansion of (/ (cosh (/ -1 x)) y) in y 2.098 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 2.099 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 2.099 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 2.099 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 2.099 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.099 * [taylor]: Taking taylor expansion of -1 in y 2.099 * [taylor]: Taking taylor expansion of x in y 2.099 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 2.099 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 2.099 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.099 * [taylor]: Taking taylor expansion of -1 in y 2.099 * [taylor]: Taking taylor expansion of x in y 2.099 * [taylor]: Taking taylor expansion of 2 in y 2.099 * [taylor]: Taking taylor expansion of y in y 2.099 * [taylor]: Taking taylor expansion of (* -1/2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.099 * [taylor]: Taking taylor expansion of -1/2 in x 2.099 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.099 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.099 * [taylor]: Taking taylor expansion of x in x 2.100 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.100 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.100 * [taylor]: Taking taylor expansion of -1 in x 2.100 * [taylor]: Taking taylor expansion of x in x 2.104 * [taylor]: Taking taylor expansion of 0 in x 2.114 * [taylor]: Taking taylor expansion of 0 in x 2.122 * [taylor]: Taking taylor expansion of 0 in x 2.122 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2) 2.122 * [approximate]: Taking taylor expansion of (cosh x) in (x) around 0 2.122 * [taylor]: Taking taylor expansion of (cosh x) in x 2.122 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 2.122 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.122 * [taylor]: Taking taylor expansion of (exp x) in x 2.122 * [taylor]: Taking taylor expansion of x in x 2.122 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.122 * [taylor]: Taking taylor expansion of (- x) in x 2.122 * [taylor]: Taking taylor expansion of x in x 2.123 * [taylor]: Taking taylor expansion of 2 in x 2.123 * [taylor]: Taking taylor expansion of (cosh x) in x 2.123 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 2.123 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.123 * [taylor]: Taking taylor expansion of (exp x) in x 2.123 * [taylor]: Taking taylor expansion of x in x 2.123 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.123 * [taylor]: Taking taylor expansion of (- x) in x 2.123 * [taylor]: Taking taylor expansion of x in x 2.124 * [taylor]: Taking taylor expansion of 2 in x 2.140 * [approximate]: Taking taylor expansion of (cosh (/ 1 x)) in (x) around 0 2.140 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 2.140 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 2.140 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.140 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.140 * [taylor]: Taking taylor expansion of x in x 2.141 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.141 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.141 * [taylor]: Taking taylor expansion of x in x 2.141 * [taylor]: Taking taylor expansion of 2 in x 2.141 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 2.141 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 2.141 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.142 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.142 * [taylor]: Taking taylor expansion of x in x 2.142 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.142 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.142 * [taylor]: Taking taylor expansion of x in x 2.142 * [taylor]: Taking taylor expansion of 2 in x 2.153 * [approximate]: Taking taylor expansion of (cosh (/ -1 x)) in (x) around 0 2.153 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 2.153 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 2.153 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 2.153 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.153 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.153 * [taylor]: Taking taylor expansion of -1 in x 2.153 * [taylor]: Taking taylor expansion of x in x 2.153 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 2.153 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 2.153 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.153 * [taylor]: Taking taylor expansion of -1 in x 2.153 * [taylor]: Taking taylor expansion of x in x 2.154 * [taylor]: Taking taylor expansion of 2 in x 2.154 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 2.154 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 2.154 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 2.154 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.154 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.154 * [taylor]: Taking taylor expansion of -1 in x 2.154 * [taylor]: Taking taylor expansion of x in x 2.155 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 2.155 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 2.155 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.155 * [taylor]: Taking taylor expansion of -1 in x 2.155 * [taylor]: Taking taylor expansion of x in x 2.155 * [taylor]: Taking taylor expansion of 2 in x 2.165 * * * [progress]: simplifying candidates 2.166 * [simplify]: Simplifying using # : (- x) (- (/ (* y (cosh x)) z)) (/ 1 (/ (* y (cosh x)) z)) (/ (/ (* y (cosh x)) z) x) (/ x (* y (cosh x))) (/ x (* y (cosh x))) (/ x (- (* y (cosh x)))) (/ x 1) (/ x y) (/ x (cosh x)) (/ x (* y (+ (exp x) (exp (- x))))) (- 1) (- (/ x (/ (* y (cosh x)) z))) (/ 1 (/ x (/ (* y (cosh x)) z))) (/ (/ x (/ (* y (cosh x)) z)) 1) (/ 1 x) (/ 1 (/ x (* y (cosh x)))) (/ 1 (/ x (- (* y (cosh x))))) (/ 1 (/ x 1)) (/ 1 (/ x y)) (/ 1 (/ x (cosh x))) (/ 1 (/ x (* y (+ (exp x) (exp (- x)))))) (/ 1 x) (/ 1 (- x)) (/ 1 1) (/ 1 (/ x (* y (cosh x)))) (* y (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))) (- (/ (* x z) y) (* 1/2 (/ (* (pow x 3) z) y))) (/ (* x z) (* y (+ (* 1/2 (exp x)) (* 1/2 (exp (- x)))))) (/ (* z x) (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y)) (+ (* 1/2 (/ (* x y) z)) (/ y (* x z))) (/ (* y (+ (* 1/2 (exp x)) (* 1/2 (exp (- x))))) (* x z)) (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (* z x)) y (* 1/2 (* (+ (exp x) (exp (- x))) y)) (* 1/2 (* y (+ (exp (* -1 x)) (exp x)))) (+ (* 1/2 (pow x 2)) (+ (* 1/24 (pow x 4)) 1)) (* 1/2 (+ (exp x) (exp (- x)))) (* 1/2 (+ (exp (* -1 x)) (exp x))) 2.169 * * [simplify]: iteration 0 : 209 enodes (cost 156 ) 2.173 * * [simplify]: iteration 1 : 767 enodes (cost 154 ) 2.189 * * [simplify]: iteration 2 : 4092 enodes (cost 109 ) 2.291 * * [simplify]: iteration 3 : 5001 enodes (cost 109 ) 2.292 * [simplify]: Simplified to: (* -1 x) (- (/ (* y (cosh x)) z)) (/ z (* y (cosh x))) (/ (/ (* y (cosh x)) z) x) (/ x (* y (cosh x))) (/ x (* y (cosh x))) (/ x (- (* y (cosh x)))) x (/ x y) (/ x (cosh x)) (/ (/ x (* y (cosh x))) 2) (- 1) (- (/ x (/ (* y (cosh x)) z))) (/ (/ (* y (cosh x)) z) x) (/ (* x (/ z y)) (cosh x)) (/ 1 x) (/ (* y (cosh x)) x) (/ (- (* y (cosh x))) x) (/ 1 x) (/ y x) (/ (cosh x) x) (/ 2 (/ x (* y (cosh x)))) (/ 1 x) (/ -1 x) 1 (/ (* y (cosh x)) x) (* (* y (cosh x)) 2) (+ (exp (* -1 x)) (exp x)) (- (/ (* x z) y) (* 1/2 (/ (* (pow x 3) z) y))) (/ (* x (/ z y)) (cosh x)) (/ (* x (/ z y)) (cosh x)) (fma 1/2 (/ (* x y) z) (/ y (* x z))) (/ (/ (* y (cosh x)) z) x) (/ (/ (* y (cosh x)) z) x) y (* y (cosh x)) (* y (cosh x)) (fma 1/2 (pow x 2) (fma 1/24 (pow x 4) 1)) (cosh x) (cosh x) 2.293 * * * [progress]: adding candidates to table 2.372 * [progress]: [Phase 3 of 3] Extracting. 2.372 * * [regime]: Finding splitpoints for: (# # # # #) 2.373 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 2.373 * * * * [regimes]: Trying to branch on z from (# # # # #) 2.403 * * * * [regimes]: Trying to branch on y from (# # # # #) 2.433 * * * * [regimes]: Trying to branch on x from (# # # # #) 2.463 * * * [regime]: Found split indices: #