11.564 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.041 * [progress]: [Phase 2 of 3] Improving. 0.041 * [simplify]: Simplifying using # : (/ (* (cosh x) (/ y x)) z) 0.042 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.043 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.045 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 0.051 * * [simplify]: iteration 3 : 99 enodes (cost 8 ) 0.074 * * [simplify]: iteration 4 : 219 enodes (cost 8 ) 0.129 * * [simplify]: iteration 5 : 375 enodes (cost 8 ) 0.264 * * [simplify]: iteration 6 : 626 enodes (cost 8 ) 0.730 * * [simplify]: iteration 7 : 1477 enodes (cost 8 ) 2.815 * * [simplify]: iteration 8 : 3595 enodes (cost 8 ) 3.957 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 3.957 * [simplify]: Simplified to: (/ (* (cosh x) (/ y x)) z) 3.958 * * [progress]: iteration 1 / 4 3.958 * * * [progress]: picking best candidate 3.960 * * * * [pick]: Picked # 3.960 * * * [progress]: localizing error 3.967 * * * [progress]: generating rewritten candidates 3.967 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 3.973 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 3.981 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 3.984 * * * [progress]: generating series expansions 3.984 * * * * [progress]: [ 1 / 3 ] generating series at (2) 3.984 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x y z) around 0 3.984 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z 3.984 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 3.984 * [taylor]: Taking taylor expansion of (cosh x) in z 3.984 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.984 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 3.984 * [taylor]: Taking taylor expansion of (exp x) in z 3.984 * [taylor]: Taking taylor expansion of x in z 3.984 * [taylor]: Taking taylor expansion of (exp (- x)) in z 3.984 * [taylor]: Taking taylor expansion of (- x) in z 3.984 * [taylor]: Taking taylor expansion of x in z 3.984 * [taylor]: Taking taylor expansion of 2 in z 3.984 * [taylor]: Taking taylor expansion of y in z 3.984 * [taylor]: Taking taylor expansion of (* x z) in z 3.984 * [taylor]: Taking taylor expansion of x in z 3.985 * [taylor]: Taking taylor expansion of z in z 3.985 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y 3.985 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 3.985 * [taylor]: Taking taylor expansion of (cosh x) in y 3.986 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.986 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 3.986 * [taylor]: Taking taylor expansion of (exp x) in y 3.986 * [taylor]: Taking taylor expansion of x in y 3.986 * [taylor]: Taking taylor expansion of (exp (- x)) in y 3.986 * [taylor]: Taking taylor expansion of (- x) in y 3.986 * [taylor]: Taking taylor expansion of x in y 3.986 * [taylor]: Taking taylor expansion of 2 in y 3.986 * [taylor]: Taking taylor expansion of y in y 3.986 * [taylor]: Taking taylor expansion of (* x z) in y 3.986 * [taylor]: Taking taylor expansion of x in y 3.986 * [taylor]: Taking taylor expansion of z in y 3.989 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 3.989 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 3.989 * [taylor]: Taking taylor expansion of (cosh x) in x 3.990 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.990 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 3.990 * [taylor]: Taking taylor expansion of (exp x) in x 3.990 * [taylor]: Taking taylor expansion of x in x 3.990 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.990 * [taylor]: Taking taylor expansion of (- x) in x 3.990 * [taylor]: Taking taylor expansion of x in x 3.990 * [taylor]: Taking taylor expansion of 2 in x 3.991 * [taylor]: Taking taylor expansion of y in x 3.991 * [taylor]: Taking taylor expansion of (* x z) in x 3.991 * [taylor]: Taking taylor expansion of x in x 3.991 * [taylor]: Taking taylor expansion of z in x 3.992 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 3.992 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 3.992 * [taylor]: Taking taylor expansion of (cosh x) in x 3.992 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.992 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 3.992 * [taylor]: Taking taylor expansion of (exp x) in x 3.992 * [taylor]: Taking taylor expansion of x in x 3.992 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.992 * [taylor]: Taking taylor expansion of (- x) in x 3.992 * [taylor]: Taking taylor expansion of x in x 3.992 * [taylor]: Taking taylor expansion of 2 in x 3.993 * [taylor]: Taking taylor expansion of y in x 3.993 * [taylor]: Taking taylor expansion of (* x z) in x 3.993 * [taylor]: Taking taylor expansion of x in x 3.993 * [taylor]: Taking taylor expansion of z in x 3.994 * [taylor]: Taking taylor expansion of (/ y z) in y 3.994 * [taylor]: Taking taylor expansion of y in y 3.994 * [taylor]: Taking taylor expansion of z in y 3.994 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.994 * [taylor]: Taking taylor expansion of z in z 3.998 * [taylor]: Taking taylor expansion of 0 in y 3.998 * [taylor]: Taking taylor expansion of 0 in z 3.998 * [taylor]: Taking taylor expansion of 0 in z 4.004 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in y 4.004 * [taylor]: Taking taylor expansion of 1/2 in y 4.004 * [taylor]: Taking taylor expansion of (/ y z) in y 4.004 * [taylor]: Taking taylor expansion of y in y 4.004 * [taylor]: Taking taylor expansion of z in y 4.004 * [taylor]: Taking taylor expansion of (/ 1/2 z) in z 4.004 * [taylor]: Taking taylor expansion of 1/2 in z 4.005 * [taylor]: Taking taylor expansion of z in z 4.005 * [taylor]: Taking taylor expansion of 0 in z 4.005 * [taylor]: Taking taylor expansion of 0 in z 4.013 * [taylor]: Taking taylor expansion of 0 in y 4.013 * [taylor]: Taking taylor expansion of 0 in z 4.014 * [taylor]: Taking taylor expansion of 0 in z 4.014 * [taylor]: Taking taylor expansion of 0 in z 4.014 * [taylor]: Taking taylor expansion of 0 in z 4.015 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x y z) around 0 4.015 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z 4.015 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z 4.015 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 4.015 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.016 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 4.016 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 4.016 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.016 * [taylor]: Taking taylor expansion of x in z 4.016 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 4.016 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 4.016 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.016 * [taylor]: Taking taylor expansion of x in z 4.016 * [taylor]: Taking taylor expansion of 2 in z 4.016 * [taylor]: Taking taylor expansion of (* x z) in z 4.016 * [taylor]: Taking taylor expansion of x in z 4.016 * [taylor]: Taking taylor expansion of z in z 4.016 * [taylor]: Taking taylor expansion of y in z 4.020 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y 4.020 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y 4.020 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 4.020 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.020 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.020 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.020 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.020 * [taylor]: Taking taylor expansion of x in y 4.020 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.021 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.021 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.021 * [taylor]: Taking taylor expansion of x in y 4.021 * [taylor]: Taking taylor expansion of 2 in y 4.021 * [taylor]: Taking taylor expansion of (* x z) in y 4.021 * [taylor]: Taking taylor expansion of x in y 4.021 * [taylor]: Taking taylor expansion of z in y 4.021 * [taylor]: Taking taylor expansion of y in y 4.021 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 4.021 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 4.021 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.021 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.021 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.021 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.021 * [taylor]: Taking taylor expansion of x in x 4.022 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.022 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.022 * [taylor]: Taking taylor expansion of x in x 4.023 * [taylor]: Taking taylor expansion of 2 in x 4.023 * [taylor]: Taking taylor expansion of (* x z) in x 4.023 * [taylor]: Taking taylor expansion of x in x 4.023 * [taylor]: Taking taylor expansion of z in x 4.023 * [taylor]: Taking taylor expansion of y in x 4.025 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 4.025 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 4.025 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.025 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.026 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.026 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.026 * [taylor]: Taking taylor expansion of x in x 4.026 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.026 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.026 * [taylor]: Taking taylor expansion of x in x 4.027 * [taylor]: Taking taylor expansion of 2 in x 4.027 * [taylor]: Taking taylor expansion of (* x z) in x 4.027 * [taylor]: Taking taylor expansion of x in x 4.027 * [taylor]: Taking taylor expansion of z in x 4.027 * [taylor]: Taking taylor expansion of y in x 4.029 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in y 4.029 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y 4.029 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in y 4.029 * [taylor]: Taking taylor expansion of 1/2 in y 4.029 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in y 4.029 * [taylor]: Taking taylor expansion of z in y 4.029 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.029 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.029 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.030 * [taylor]: Taking taylor expansion of x in y 4.030 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 4.030 * [taylor]: Taking taylor expansion of 1/2 in y 4.030 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 4.030 * [taylor]: Taking taylor expansion of z in y 4.030 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.030 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.030 * [taylor]: Taking taylor expansion of x in y 4.030 * [taylor]: Taking taylor expansion of y in y 4.036 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z 4.036 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in z 4.036 * [taylor]: Taking taylor expansion of 1/2 in z 4.036 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 4.036 * [taylor]: Taking taylor expansion of z in z 4.036 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 4.036 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 4.036 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.036 * [taylor]: Taking taylor expansion of x in z 4.036 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 4.036 * [taylor]: Taking taylor expansion of 1/2 in z 4.036 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 4.036 * [taylor]: Taking taylor expansion of z in z 4.036 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 4.036 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.036 * [taylor]: Taking taylor expansion of x in z 4.043 * [taylor]: Taking taylor expansion of 0 in y 4.047 * [taylor]: Taking taylor expansion of 0 in z 4.056 * [taylor]: Taking taylor expansion of 0 in y 4.056 * [taylor]: Taking taylor expansion of 0 in z 4.063 * [taylor]: Taking taylor expansion of 0 in z 4.071 * [approximate]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in (x y z) around 0 4.071 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in z 4.071 * [taylor]: Taking taylor expansion of -1 in z 4.071 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in z 4.071 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in z 4.071 * [taylor]: Taking taylor expansion of x in z 4.071 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z 4.071 * [taylor]: Taking taylor expansion of z in z 4.071 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 4.071 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.071 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 4.071 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 4.071 * [taylor]: Taking taylor expansion of (/ -1 x) in z 4.071 * [taylor]: Taking taylor expansion of -1 in z 4.071 * [taylor]: Taking taylor expansion of x in z 4.071 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 4.072 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 4.072 * [taylor]: Taking taylor expansion of (/ -1 x) in z 4.072 * [taylor]: Taking taylor expansion of -1 in z 4.072 * [taylor]: Taking taylor expansion of x in z 4.072 * [taylor]: Taking taylor expansion of 2 in z 4.072 * [taylor]: Taking taylor expansion of y in z 4.076 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in y 4.076 * [taylor]: Taking taylor expansion of -1 in y 4.076 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in y 4.076 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in y 4.076 * [taylor]: Taking taylor expansion of x in y 4.076 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y 4.076 * [taylor]: Taking taylor expansion of z in y 4.076 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 4.076 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.076 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 4.076 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.076 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.076 * [taylor]: Taking taylor expansion of -1 in y 4.076 * [taylor]: Taking taylor expansion of x in y 4.076 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 4.076 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 4.077 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.077 * [taylor]: Taking taylor expansion of -1 in y 4.077 * [taylor]: Taking taylor expansion of x in y 4.077 * [taylor]: Taking taylor expansion of 2 in y 4.077 * [taylor]: Taking taylor expansion of y in y 4.077 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 4.077 * [taylor]: Taking taylor expansion of -1 in x 4.077 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 4.077 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 4.077 * [taylor]: Taking taylor expansion of x in x 4.077 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 4.077 * [taylor]: Taking taylor expansion of z in x 4.077 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.077 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.077 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.077 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.077 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.077 * [taylor]: Taking taylor expansion of -1 in x 4.077 * [taylor]: Taking taylor expansion of x in x 4.078 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.078 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.078 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.078 * [taylor]: Taking taylor expansion of -1 in x 4.078 * [taylor]: Taking taylor expansion of x in x 4.079 * [taylor]: Taking taylor expansion of 2 in x 4.079 * [taylor]: Taking taylor expansion of y in x 4.081 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 4.081 * [taylor]: Taking taylor expansion of -1 in x 4.081 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 4.081 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 4.081 * [taylor]: Taking taylor expansion of x in x 4.081 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 4.081 * [taylor]: Taking taylor expansion of z in x 4.081 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.082 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.082 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.082 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.082 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.082 * [taylor]: Taking taylor expansion of -1 in x 4.082 * [taylor]: Taking taylor expansion of x in x 4.082 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.082 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.082 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.082 * [taylor]: Taking taylor expansion of -1 in x 4.082 * [taylor]: Taking taylor expansion of x in x 4.083 * [taylor]: Taking taylor expansion of 2 in x 4.083 * [taylor]: Taking taylor expansion of y in x 4.086 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in y 4.086 * [taylor]: Taking taylor expansion of -1 in y 4.086 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in y 4.086 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y 4.086 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 4.086 * [taylor]: Taking taylor expansion of 1/2 in y 4.086 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 4.086 * [taylor]: Taking taylor expansion of z in y 4.086 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.086 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.086 * [taylor]: Taking taylor expansion of x in y 4.086 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y 4.086 * [taylor]: Taking taylor expansion of 1/2 in y 4.086 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y 4.086 * [taylor]: Taking taylor expansion of z in y 4.086 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.086 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.086 * [taylor]: Taking taylor expansion of -1 in y 4.086 * [taylor]: Taking taylor expansion of x in y 4.086 * [taylor]: Taking taylor expansion of y in y 4.087 * [taylor]: Taking taylor expansion of (* -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z 4.087 * [taylor]: Taking taylor expansion of -1 in z 4.087 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z 4.087 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 4.087 * [taylor]: Taking taylor expansion of 1/2 in z 4.087 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 4.087 * [taylor]: Taking taylor expansion of z in z 4.087 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 4.087 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.087 * [taylor]: Taking taylor expansion of x in z 4.087 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z 4.087 * [taylor]: Taking taylor expansion of 1/2 in z 4.087 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 4.087 * [taylor]: Taking taylor expansion of z in z 4.087 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 4.087 * [taylor]: Taking taylor expansion of (/ -1 x) in z 4.087 * [taylor]: Taking taylor expansion of -1 in z 4.087 * [taylor]: Taking taylor expansion of x in z 4.096 * [taylor]: Taking taylor expansion of 0 in y 4.100 * [taylor]: Taking taylor expansion of 0 in z 4.110 * [taylor]: Taking taylor expansion of 0 in y 4.110 * [taylor]: Taking taylor expansion of 0 in z 4.116 * [taylor]: Taking taylor expansion of 0 in z 4.124 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 4.124 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) x) in (x y) around 0 4.124 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in y 4.124 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 4.124 * [taylor]: Taking taylor expansion of (cosh x) in y 4.124 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.124 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 4.124 * [taylor]: Taking taylor expansion of (exp x) in y 4.124 * [taylor]: Taking taylor expansion of x in y 4.124 * [taylor]: Taking taylor expansion of (exp (- x)) in y 4.124 * [taylor]: Taking taylor expansion of (- x) in y 4.124 * [taylor]: Taking taylor expansion of x in y 4.124 * [taylor]: Taking taylor expansion of 2 in y 4.125 * [taylor]: Taking taylor expansion of y in y 4.125 * [taylor]: Taking taylor expansion of x in y 4.128 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in x 4.128 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 4.128 * [taylor]: Taking taylor expansion of (cosh x) in x 4.128 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.128 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.128 * [taylor]: Taking taylor expansion of (exp x) in x 4.128 * [taylor]: Taking taylor expansion of x in x 4.128 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.128 * [taylor]: Taking taylor expansion of (- x) in x 4.128 * [taylor]: Taking taylor expansion of x in x 4.129 * [taylor]: Taking taylor expansion of 2 in x 4.130 * [taylor]: Taking taylor expansion of y in x 4.130 * [taylor]: Taking taylor expansion of x in x 4.130 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) x) in x 4.130 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 4.130 * [taylor]: Taking taylor expansion of (cosh x) in x 4.130 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.130 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.130 * [taylor]: Taking taylor expansion of (exp x) in x 4.130 * [taylor]: Taking taylor expansion of x in x 4.130 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.130 * [taylor]: Taking taylor expansion of (- x) in x 4.130 * [taylor]: Taking taylor expansion of x in x 4.131 * [taylor]: Taking taylor expansion of 2 in x 4.131 * [taylor]: Taking taylor expansion of y in x 4.131 * [taylor]: Taking taylor expansion of x in x 4.131 * [taylor]: Taking taylor expansion of y in y 4.135 * [taylor]: Taking taylor expansion of 0 in y 4.147 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 4.147 * [taylor]: Taking taylor expansion of 1/2 in y 4.147 * [taylor]: Taking taylor expansion of y in y 4.155 * [taylor]: Taking taylor expansion of 0 in y 4.156 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in (x y) around 0 4.156 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in y 4.156 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in y 4.156 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 4.157 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.157 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 4.157 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.157 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.157 * [taylor]: Taking taylor expansion of x in y 4.157 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.157 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.157 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.157 * [taylor]: Taking taylor expansion of x in y 4.157 * [taylor]: Taking taylor expansion of 2 in y 4.157 * [taylor]: Taking taylor expansion of x in y 4.157 * [taylor]: Taking taylor expansion of y in y 4.158 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in x 4.158 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in x 4.158 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.158 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.158 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.158 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.158 * [taylor]: Taking taylor expansion of x in x 4.158 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.158 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.158 * [taylor]: Taking taylor expansion of x in x 4.159 * [taylor]: Taking taylor expansion of 2 in x 4.159 * [taylor]: Taking taylor expansion of x in x 4.159 * [taylor]: Taking taylor expansion of y in x 4.161 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) x) y) in x 4.161 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) x) in x 4.161 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.162 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.162 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.162 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.162 * [taylor]: Taking taylor expansion of x in x 4.162 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.162 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.162 * [taylor]: Taking taylor expansion of x in x 4.163 * [taylor]: Taking taylor expansion of 2 in x 4.163 * [taylor]: Taking taylor expansion of x in x 4.163 * [taylor]: Taking taylor expansion of y in x 4.165 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (- (/ 1 x))))) y) in y 4.165 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (- (/ 1 x))))) in y 4.165 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y 4.165 * [taylor]: Taking taylor expansion of 1/2 in y 4.165 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.165 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.165 * [taylor]: Taking taylor expansion of x in y 4.165 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- (/ 1 x)))) in y 4.165 * [taylor]: Taking taylor expansion of 1/2 in y 4.165 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 4.165 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.165 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.165 * [taylor]: Taking taylor expansion of x in y 4.166 * [taylor]: Taking taylor expansion of y in y 4.168 * [taylor]: Taking taylor expansion of 0 in y 4.175 * [taylor]: Taking taylor expansion of 0 in y 4.184 * [taylor]: Taking taylor expansion of 0 in y 4.191 * [approximate]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in (x y) around 0 4.191 * [taylor]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in y 4.191 * [taylor]: Taking taylor expansion of (* x (cosh (/ -1 x))) in y 4.191 * [taylor]: Taking taylor expansion of x in y 4.192 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 4.192 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.192 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 4.192 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.192 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.192 * [taylor]: Taking taylor expansion of -1 in y 4.192 * [taylor]: Taking taylor expansion of x in y 4.192 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 4.192 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 4.192 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.192 * [taylor]: Taking taylor expansion of -1 in y 4.192 * [taylor]: Taking taylor expansion of x in y 4.192 * [taylor]: Taking taylor expansion of 2 in y 4.192 * [taylor]: Taking taylor expansion of y in y 4.192 * [taylor]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in x 4.192 * [taylor]: Taking taylor expansion of (* x (cosh (/ -1 x))) in x 4.192 * [taylor]: Taking taylor expansion of x in x 4.192 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.193 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.193 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.193 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.193 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.193 * [taylor]: Taking taylor expansion of -1 in x 4.193 * [taylor]: Taking taylor expansion of x in x 4.193 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.193 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.193 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.193 * [taylor]: Taking taylor expansion of -1 in x 4.193 * [taylor]: Taking taylor expansion of x in x 4.194 * [taylor]: Taking taylor expansion of 2 in x 4.194 * [taylor]: Taking taylor expansion of y in x 4.196 * [taylor]: Taking taylor expansion of (/ (* x (cosh (/ -1 x))) y) in x 4.196 * [taylor]: Taking taylor expansion of (* x (cosh (/ -1 x))) in x 4.196 * [taylor]: Taking taylor expansion of x in x 4.196 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.196 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.196 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.196 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.196 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.196 * [taylor]: Taking taylor expansion of -1 in x 4.196 * [taylor]: Taking taylor expansion of x in x 4.197 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.197 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.197 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.197 * [taylor]: Taking taylor expansion of -1 in x 4.197 * [taylor]: Taking taylor expansion of x in x 4.198 * [taylor]: Taking taylor expansion of 2 in x 4.198 * [taylor]: Taking taylor expansion of y in x 4.200 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) y) in y 4.200 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) in y 4.200 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y 4.200 * [taylor]: Taking taylor expansion of 1/2 in y 4.200 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.200 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.200 * [taylor]: Taking taylor expansion of x in y 4.200 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ -1 x))) in y 4.200 * [taylor]: Taking taylor expansion of 1/2 in y 4.200 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.200 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.200 * [taylor]: Taking taylor expansion of -1 in y 4.200 * [taylor]: Taking taylor expansion of x in y 4.200 * [taylor]: Taking taylor expansion of y in y 4.203 * [taylor]: Taking taylor expansion of 0 in y 4.210 * [taylor]: Taking taylor expansion of 0 in y 4.218 * [taylor]: Taking taylor expansion of 0 in y 4.225 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 4.225 * [approximate]: Taking taylor expansion of (cosh x) in (x) around 0 4.225 * [taylor]: Taking taylor expansion of (cosh x) in x 4.225 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.225 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.225 * [taylor]: Taking taylor expansion of (exp x) in x 4.225 * [taylor]: Taking taylor expansion of x in x 4.225 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.225 * [taylor]: Taking taylor expansion of (- x) in x 4.225 * [taylor]: Taking taylor expansion of x in x 4.226 * [taylor]: Taking taylor expansion of 2 in x 4.227 * [taylor]: Taking taylor expansion of (cosh x) in x 4.227 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 4.227 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.227 * [taylor]: Taking taylor expansion of (exp x) in x 4.227 * [taylor]: Taking taylor expansion of x in x 4.227 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.227 * [taylor]: Taking taylor expansion of (- x) in x 4.227 * [taylor]: Taking taylor expansion of x in x 4.228 * [taylor]: Taking taylor expansion of 2 in x 4.248 * [approximate]: Taking taylor expansion of (cosh (/ 1 x)) in (x) around 0 4.248 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.248 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.248 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.248 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.248 * [taylor]: Taking taylor expansion of x in x 4.255 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.256 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.256 * [taylor]: Taking taylor expansion of x in x 4.256 * [taylor]: Taking taylor expansion of 2 in x 4.257 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 4.257 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 4.257 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.257 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.257 * [taylor]: Taking taylor expansion of x in x 4.257 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.257 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.258 * [taylor]: Taking taylor expansion of x in x 4.258 * [taylor]: Taking taylor expansion of 2 in x 4.271 * [approximate]: Taking taylor expansion of (cosh (/ -1 x)) in (x) around 0 4.271 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.271 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.271 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.271 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.271 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.271 * [taylor]: Taking taylor expansion of -1 in x 4.271 * [taylor]: Taking taylor expansion of x in x 4.271 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.271 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.271 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.271 * [taylor]: Taking taylor expansion of -1 in x 4.272 * [taylor]: Taking taylor expansion of x in x 4.272 * [taylor]: Taking taylor expansion of 2 in x 4.272 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 4.273 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 4.273 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.273 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.273 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.273 * [taylor]: Taking taylor expansion of -1 in x 4.273 * [taylor]: Taking taylor expansion of x in x 4.273 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.273 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.273 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.273 * [taylor]: Taking taylor expansion of -1 in x 4.273 * [taylor]: Taking taylor expansion of x in x 4.274 * [taylor]: Taking taylor expansion of 2 in x 4.286 * * * [progress]: simplifying candidates 4.287 * [simplify]: Simplifying using # : (expm1 (/ (* (cosh x) (/ y x)) z)) (log1p (/ (* (cosh x) (/ y x)) z)) (- (+ (log (cosh x)) (- (log y) (log x))) (log z)) (- (+ (log (cosh x)) (log (/ y x))) (log z)) (- (log (* (cosh x) (/ y x))) (log z)) (log (/ (* (cosh x) (/ y x)) z)) (exp (/ (* (cosh x) (/ y x)) z)) (/ (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* y y) y) (* (* x x) x))) (* (* z z) z)) (/ (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ y x) (/ y x)) (/ y x))) (* (* z z) z)) (/ (* (* (* (cosh x) (/ y x)) (* (cosh x) (/ y x))) (* (cosh x) (/ y x))) (* (* z z) z)) (* (cbrt (/ (* (cosh x) (/ y x)) z)) (cbrt (/ (* (cosh x) (/ y x)) z))) (cbrt (/ (* (cosh x) (/ y x)) z)) (* (* (/ (* (cosh x) (/ y x)) z) (/ (* (cosh x) (/ y x)) z)) (/ (* (cosh x) (/ y x)) z)) (sqrt (/ (* (cosh x) (/ y x)) z)) (sqrt (/ (* (cosh x) (/ y x)) z)) (- (* (cosh x) (/ y x))) (- z) (/ (cosh x) (* (cbrt z) (cbrt z))) (/ (/ y x) (cbrt z)) (/ (cosh x) (sqrt z)) (/ (/ y x) (sqrt z)) (/ (cosh x) 1) (/ (/ y x) z) (/ 1 z) (/ z (* (cosh x) (/ y x))) (/ (* (cosh x) (/ y x)) (* (cbrt z) (cbrt z))) (/ (* (cosh x) (/ y x)) (sqrt z)) (/ (* (cosh x) (/ y x)) 1) (/ z (/ y x)) (* z (* 2 x)) (* z x) (* z 2) (expm1 (* (cosh x) (/ y x))) (log1p (* (cosh x) (/ y x))) (* (cosh x) (/ y x)) (+ (log (cosh x)) (- (log y) (log x))) (+ (log (cosh x)) (log (/ y x))) (log (* (cosh x) (/ y x))) (exp (* (cosh x) (/ y x))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* y y) y) (* (* x x) x))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ y x) (/ y x)) (/ y x))) (* (cbrt (* (cosh x) (/ y x))) (cbrt (* (cosh x) (/ y x)))) (cbrt (* (cosh x) (/ y x))) (* (* (* (cosh x) (/ y x)) (* (cosh x) (/ y x))) (* (cosh x) (/ y x))) (sqrt (* (cosh x) (/ y x))) (sqrt (* (cosh x) (/ y x))) (* (+ (exp x) (exp (- x))) y) (* 2 x) (* (sqrt (cosh x)) (sqrt (/ y x))) (* (sqrt (cosh x)) (sqrt (/ y x))) (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x))) (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x))) (* (cosh x) (* (cbrt (/ y x)) (cbrt (/ y x)))) (* (cosh x) (sqrt (/ y x))) (* (cosh x) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))) (* (cosh x) (/ (* (cbrt y) (cbrt y)) (sqrt x))) (* (cosh x) (/ (* (cbrt y) (cbrt y)) 1)) (* (cosh x) (/ (sqrt y) (* (cbrt x) (cbrt x)))) (* (cosh x) (/ (sqrt y) (sqrt x))) (* (cosh x) (/ (sqrt y) 1)) (* (cosh x) (/ 1 (* (cbrt x) (cbrt x)))) (* (cosh x) (/ 1 (sqrt x))) (* (cosh x) (/ 1 1)) (* (cosh x) 1) (* (cosh x) y) (* (cbrt (cosh x)) (/ y x)) (* (sqrt (cosh x)) (/ y x)) (* (cosh x) (/ y x)) (* (cosh x) y) (* (+ (exp x) (exp (- x))) (/ y x)) (expm1 (cosh x)) (log1p (cosh x)) (+ (exp x) (exp (- x))) (log (cosh x)) (exp (cosh x)) (* (cbrt (cosh x)) (cbrt (cosh x))) (cbrt (cosh x)) (* (* (cosh x) (cosh x)) (cosh x)) (sqrt (cosh x)) (sqrt (cosh 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))) 4.291 * * [simplify]: iteration 0 : 156 enodes (cost 811 ) 4.334 * * [simplify]: iteration 1 : 379 enodes (cost 770 ) 4.523 * * [simplify]: iteration 2 : 1405 enodes (cost 665 ) 5.087 * * [simplify]: iteration done : 5000 enodes (cost 653 ) 5.087 * [simplify]: Simplified to: (expm1 (/ (* (cosh x) (/ y x)) z)) (log1p (/ (* (cosh x) (/ y x)) z)) (log (/ (* (cosh x) (/ y x)) z)) (log (/ (* (cosh x) (/ y x)) z)) (log (/ (* (cosh x) (/ y x)) z)) (log (/ (* (cosh x) (/ y x)) z)) (exp (/ (* (cosh x) (/ y x)) z)) (pow (/ (* (cosh x) (/ y x)) z) 3) (pow (/ (* (cosh x) (/ y x)) z) 3) (pow (/ (* (cosh x) (/ y x)) z) 3) (* (cbrt (/ (* (cosh x) (/ y x)) z)) (cbrt (/ (* (cosh x) (/ y x)) z))) (cbrt (/ (* (cosh x) (/ y x)) z)) (pow (/ (* (cosh x) (/ y x)) z) 3) (sqrt (/ (* (cosh x) (/ y x)) z)) (sqrt (/ (* (cosh x) (/ y x)) z)) (- (* (cosh x) (/ y x))) (- z) (/ (cosh x) (* (cbrt z) (cbrt z))) (/ (/ y x) (cbrt z)) (/ (cosh x) (sqrt z)) (/ (/ y x) (sqrt z)) (cosh x) (/ y (* x z)) (/ 1 z) (/ z (* (cosh x) (/ y x))) (/ (* (cosh x) (/ y x)) (* (cbrt z) (cbrt z))) (/ (* (cosh x) (/ y x)) (sqrt z)) (* (cosh x) (/ y x)) (* z (/ x y)) (* z (* 2 x)) (* z x) (* z 2) (expm1 (* (cosh x) (/ y x))) (log1p (* (cosh x) (/ y x))) (* (cosh x) (/ y x)) (log (* (cosh x) (/ y x))) (log (* (cosh x) (/ y x))) (log (* (cosh x) (/ y x))) (exp (* (cosh x) (/ y x))) (pow (* (cosh x) (/ y x)) 3) (pow (* (cosh x) (/ y x)) 3) (* (cbrt (* (cosh x) (/ y x))) (cbrt (* (cosh x) (/ y x)))) (cbrt (* (cosh x) (/ y x))) (pow (* (cosh x) (/ y x)) 3) (sqrt (* (cosh x) (/ y x))) (sqrt (* (cosh x) (/ y x))) (* (+ (exp x) (exp (- x))) y) (* 2 x) (* (sqrt (cosh x)) (sqrt (/ y x))) (* (sqrt (cosh x)) (sqrt (/ y x))) (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x))) (* (sqrt (cosh x)) (/ (sqrt y) (sqrt x))) (* (cosh x) (* (cbrt (/ y x)) (cbrt (/ y x)))) (* (cosh x) (sqrt (/ y x))) (* (cosh x) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))) (* (cosh x) (/ (* (cbrt y) (cbrt y)) (sqrt x))) (* (cosh x) (* (cbrt y) (cbrt y))) (* (cosh x) (/ (sqrt y) (* (cbrt x) (cbrt x)))) (* (cosh x) (/ (sqrt y) (sqrt x))) (* (sqrt y) (cosh x)) (/ (cosh x) (* (cbrt x) (cbrt x))) (/ (cosh x) (sqrt x)) (cosh x) (cosh x) (* (cosh x) y) (* (cbrt (cosh x)) (/ y x)) (* (sqrt (cosh x)) (/ y x)) (* (cosh x) (/ y x)) (* (cosh x) y) (* (+ (exp x) (exp (- x))) (/ y x)) (expm1 (cosh x)) (log1p (cosh x)) (+ (exp x) (exp (- x))) (log (cosh x)) (exp (cosh x)) (* (cbrt (cosh x)) (cbrt (cosh x))) (cbrt (cosh x)) (pow (cosh x) 3) (sqrt (cosh x)) (sqrt (cosh x)) (fma 1/2 (/ (* x y) z) (/ (/ y x) z)) (/ (* (cosh x) (/ y x)) z) (/ (* (cosh x) (/ y x)) z) (fma (* x y) 1/2 (/ y x)) (* (* 1/2 (+ (exp x) (exp (- x)))) (/ y x)) (* (* 1/2 (+ (exp x) (exp (- x)))) (/ y x)) (fma 1/2 (* x x) (fma 1/24 (pow x 4) 1)) (* 1/2 (+ (exp x) (exp (- x)))) (* 1/2 (+ (exp x) (exp (- x)))) 5.088 * * * [progress]: adding candidates to table 5.312 * * [progress]: iteration 2 / 4 5.312 * * * [progress]: picking best candidate 5.332 * * * * [pick]: Picked # 5.332 * * * [progress]: localizing error 5.339 * * * [progress]: generating rewritten candidates 5.339 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 5.342 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 5.353 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 5.355 * * * [progress]: generating series expansions 5.355 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 5.356 * [approximate]: Taking taylor expansion of (/ y (* x z)) in (y x z) around 0 5.356 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 5.356 * [taylor]: Taking taylor expansion of y in z 5.356 * [taylor]: Taking taylor expansion of (* x z) in z 5.356 * [taylor]: Taking taylor expansion of x in z 5.356 * [taylor]: Taking taylor expansion of z in z 5.356 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 5.356 * [taylor]: Taking taylor expansion of y in x 5.356 * [taylor]: Taking taylor expansion of (* x z) in x 5.356 * [taylor]: Taking taylor expansion of x in x 5.356 * [taylor]: Taking taylor expansion of z in x 5.357 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 5.357 * [taylor]: Taking taylor expansion of y in y 5.357 * [taylor]: Taking taylor expansion of (* x z) in y 5.357 * [taylor]: Taking taylor expansion of x in y 5.357 * [taylor]: Taking taylor expansion of z in y 5.357 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 5.357 * [taylor]: Taking taylor expansion of y in y 5.357 * [taylor]: Taking taylor expansion of (* x z) in y 5.357 * [taylor]: Taking taylor expansion of x in y 5.357 * [taylor]: Taking taylor expansion of z in y 5.357 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.357 * [taylor]: Taking taylor expansion of (* x z) in x 5.357 * [taylor]: Taking taylor expansion of x in x 5.357 * [taylor]: Taking taylor expansion of z in x 5.358 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.358 * [taylor]: Taking taylor expansion of z in z 5.358 * [taylor]: Taking taylor expansion of 0 in x 5.359 * [taylor]: Taking taylor expansion of 0 in z 5.360 * [taylor]: Taking taylor expansion of 0 in x 5.360 * [taylor]: Taking taylor expansion of 0 in z 5.361 * [taylor]: Taking taylor expansion of 0 in z 5.363 * [taylor]: Taking taylor expansion of 0 in x 5.363 * [taylor]: Taking taylor expansion of 0 in z 5.363 * [taylor]: Taking taylor expansion of 0 in z 5.365 * [taylor]: Taking taylor expansion of 0 in z 5.365 * [approximate]: Taking taylor expansion of (/ (* x z) y) in (y x z) around 0 5.365 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 5.365 * [taylor]: Taking taylor expansion of (* x z) in z 5.365 * [taylor]: Taking taylor expansion of x in z 5.365 * [taylor]: Taking taylor expansion of z in z 5.365 * [taylor]: Taking taylor expansion of y in z 5.365 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 5.365 * [taylor]: Taking taylor expansion of (* x z) in x 5.365 * [taylor]: Taking taylor expansion of x in x 5.366 * [taylor]: Taking taylor expansion of z in x 5.366 * [taylor]: Taking taylor expansion of y in x 5.366 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 5.366 * [taylor]: Taking taylor expansion of (* x z) in y 5.366 * [taylor]: Taking taylor expansion of x in y 5.366 * [taylor]: Taking taylor expansion of z in y 5.366 * [taylor]: Taking taylor expansion of y in y 5.366 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 5.366 * [taylor]: Taking taylor expansion of (* x z) in y 5.366 * [taylor]: Taking taylor expansion of x in y 5.366 * [taylor]: Taking taylor expansion of z in y 5.366 * [taylor]: Taking taylor expansion of y in y 5.366 * [taylor]: Taking taylor expansion of (* x z) in x 5.366 * [taylor]: Taking taylor expansion of x in x 5.366 * [taylor]: Taking taylor expansion of z in x 5.367 * [taylor]: Taking taylor expansion of z in z 5.368 * [taylor]: Taking taylor expansion of 0 in x 5.368 * [taylor]: Taking taylor expansion of 0 in z 5.368 * [taylor]: Taking taylor expansion of 0 in z 5.370 * [taylor]: Taking taylor expansion of 0 in x 5.370 * [taylor]: Taking taylor expansion of 0 in z 5.370 * [taylor]: Taking taylor expansion of 0 in z 5.371 * [taylor]: Taking taylor expansion of 0 in z 5.372 * [approximate]: Taking taylor expansion of (* -1 (/ (* x z) y)) in (y x z) around 0 5.372 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) y)) in z 5.372 * [taylor]: Taking taylor expansion of -1 in z 5.372 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 5.372 * [taylor]: Taking taylor expansion of (* x z) in z 5.372 * [taylor]: Taking taylor expansion of x in z 5.372 * [taylor]: Taking taylor expansion of z in z 5.372 * [taylor]: Taking taylor expansion of y in z 5.373 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) y)) in x 5.373 * [taylor]: Taking taylor expansion of -1 in x 5.373 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 5.373 * [taylor]: Taking taylor expansion of (* x z) in x 5.373 * [taylor]: Taking taylor expansion of x in x 5.373 * [taylor]: Taking taylor expansion of z in x 5.373 * [taylor]: Taking taylor expansion of y in x 5.373 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) y)) in y 5.373 * [taylor]: Taking taylor expansion of -1 in y 5.373 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 5.373 * [taylor]: Taking taylor expansion of (* x z) in y 5.373 * [taylor]: Taking taylor expansion of x in y 5.373 * [taylor]: Taking taylor expansion of z in y 5.373 * [taylor]: Taking taylor expansion of y in y 5.373 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) y)) in y 5.373 * [taylor]: Taking taylor expansion of -1 in y 5.373 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 5.373 * [taylor]: Taking taylor expansion of (* x z) in y 5.373 * [taylor]: Taking taylor expansion of x in y 5.373 * [taylor]: Taking taylor expansion of z in y 5.373 * [taylor]: Taking taylor expansion of y in y 5.374 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x 5.374 * [taylor]: Taking taylor expansion of -1 in x 5.374 * [taylor]: Taking taylor expansion of (* x z) in x 5.374 * [taylor]: Taking taylor expansion of x in x 5.374 * [taylor]: Taking taylor expansion of z in x 5.374 * [taylor]: Taking taylor expansion of (- z) in z 5.374 * [taylor]: Taking taylor expansion of z in z 5.376 * [taylor]: Taking taylor expansion of 0 in x 5.376 * [taylor]: Taking taylor expansion of 0 in z 5.377 * [taylor]: Taking taylor expansion of 0 in z 5.379 * [taylor]: Taking taylor expansion of 0 in x 5.380 * [taylor]: Taking taylor expansion of 0 in z 5.380 * [taylor]: Taking taylor expansion of 0 in z 5.381 * [taylor]: Taking taylor expansion of 0 in z 5.382 * * * * [progress]: [ 2 / 3 ] generating series at (2) 5.382 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x y z) around 0 5.382 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z 5.382 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 5.382 * [taylor]: Taking taylor expansion of (cosh x) in z 5.382 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 5.382 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 5.382 * [taylor]: Taking taylor expansion of (exp x) in z 5.382 * [taylor]: Taking taylor expansion of x in z 5.382 * [taylor]: Taking taylor expansion of (exp (- x)) in z 5.382 * [taylor]: Taking taylor expansion of (- x) in z 5.382 * [taylor]: Taking taylor expansion of x in z 5.382 * [taylor]: Taking taylor expansion of 2 in z 5.382 * [taylor]: Taking taylor expansion of y in z 5.382 * [taylor]: Taking taylor expansion of (* x z) in z 5.382 * [taylor]: Taking taylor expansion of x in z 5.382 * [taylor]: Taking taylor expansion of z in z 5.383 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y 5.383 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 5.383 * [taylor]: Taking taylor expansion of (cosh x) in y 5.383 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 5.383 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 5.383 * [taylor]: Taking taylor expansion of (exp x) in y 5.383 * [taylor]: Taking taylor expansion of x in y 5.383 * [taylor]: Taking taylor expansion of (exp (- x)) in y 5.383 * [taylor]: Taking taylor expansion of (- x) in y 5.383 * [taylor]: Taking taylor expansion of x in y 5.384 * [taylor]: Taking taylor expansion of 2 in y 5.384 * [taylor]: Taking taylor expansion of y in y 5.384 * [taylor]: Taking taylor expansion of (* x z) in y 5.384 * [taylor]: Taking taylor expansion of x in y 5.384 * [taylor]: Taking taylor expansion of z in y 5.387 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 5.387 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 5.387 * [taylor]: Taking taylor expansion of (cosh x) in x 5.387 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 5.387 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 5.387 * [taylor]: Taking taylor expansion of (exp x) in x 5.387 * [taylor]: Taking taylor expansion of x in x 5.387 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.387 * [taylor]: Taking taylor expansion of (- x) in x 5.387 * [taylor]: Taking taylor expansion of x in x 5.388 * [taylor]: Taking taylor expansion of 2 in x 5.389 * [taylor]: Taking taylor expansion of y in x 5.389 * [taylor]: Taking taylor expansion of (* x z) in x 5.389 * [taylor]: Taking taylor expansion of x in x 5.389 * [taylor]: Taking taylor expansion of z in x 5.389 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 5.389 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 5.389 * [taylor]: Taking taylor expansion of (cosh x) in x 5.389 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 5.390 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 5.390 * [taylor]: Taking taylor expansion of (exp x) in x 5.390 * [taylor]: Taking taylor expansion of x in x 5.390 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.390 * [taylor]: Taking taylor expansion of (- x) in x 5.390 * [taylor]: Taking taylor expansion of x in x 5.390 * [taylor]: Taking taylor expansion of 2 in x 5.391 * [taylor]: Taking taylor expansion of y in x 5.391 * [taylor]: Taking taylor expansion of (* x z) in x 5.391 * [taylor]: Taking taylor expansion of x in x 5.391 * [taylor]: Taking taylor expansion of z in x 5.391 * [taylor]: Taking taylor expansion of (/ y z) in y 5.391 * [taylor]: Taking taylor expansion of y in y 5.391 * [taylor]: Taking taylor expansion of z in y 5.392 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.392 * [taylor]: Taking taylor expansion of z in z 5.401 * [taylor]: Taking taylor expansion of 0 in y 5.401 * [taylor]: Taking taylor expansion of 0 in z 5.401 * [taylor]: Taking taylor expansion of 0 in z 5.407 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in y 5.407 * [taylor]: Taking taylor expansion of 1/2 in y 5.407 * [taylor]: Taking taylor expansion of (/ y z) in y 5.407 * [taylor]: Taking taylor expansion of y in y 5.407 * [taylor]: Taking taylor expansion of z in y 5.408 * [taylor]: Taking taylor expansion of (/ 1/2 z) in z 5.408 * [taylor]: Taking taylor expansion of 1/2 in z 5.408 * [taylor]: Taking taylor expansion of z in z 5.408 * [taylor]: Taking taylor expansion of 0 in z 5.408 * [taylor]: Taking taylor expansion of 0 in z 5.417 * [taylor]: Taking taylor expansion of 0 in y 5.417 * [taylor]: Taking taylor expansion of 0 in z 5.417 * [taylor]: Taking taylor expansion of 0 in z 5.417 * [taylor]: Taking taylor expansion of 0 in z 5.417 * [taylor]: Taking taylor expansion of 0 in z 5.419 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x y z) around 0 5.419 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z 5.419 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z 5.419 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 5.419 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 5.419 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 5.419 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 5.419 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.419 * [taylor]: Taking taylor expansion of x in z 5.419 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 5.419 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 5.419 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.419 * [taylor]: Taking taylor expansion of x in z 5.419 * [taylor]: Taking taylor expansion of 2 in z 5.420 * [taylor]: Taking taylor expansion of (* x z) in z 5.420 * [taylor]: Taking taylor expansion of x in z 5.420 * [taylor]: Taking taylor expansion of z in z 5.420 * [taylor]: Taking taylor expansion of y in z 5.424 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y 5.424 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y 5.424 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 5.424 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 5.424 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 5.424 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 5.424 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.424 * [taylor]: Taking taylor expansion of x in y 5.425 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 5.425 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 5.425 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.425 * [taylor]: Taking taylor expansion of x in y 5.425 * [taylor]: Taking taylor expansion of 2 in y 5.425 * [taylor]: Taking taylor expansion of (* x z) in y 5.425 * [taylor]: Taking taylor expansion of x in y 5.425 * [taylor]: Taking taylor expansion of z in y 5.425 * [taylor]: Taking taylor expansion of y in y 5.426 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 5.426 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 5.426 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 5.426 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 5.426 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.426 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.426 * [taylor]: Taking taylor expansion of x in x 5.426 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.426 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.426 * [taylor]: Taking taylor expansion of x in x 5.427 * [taylor]: Taking taylor expansion of 2 in x 5.427 * [taylor]: Taking taylor expansion of (* x z) in x 5.427 * [taylor]: Taking taylor expansion of x in x 5.427 * [taylor]: Taking taylor expansion of z in x 5.427 * [taylor]: Taking taylor expansion of y in x 5.430 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 5.430 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 5.430 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 5.430 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 5.430 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.430 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.430 * [taylor]: Taking taylor expansion of x in x 5.431 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.431 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.431 * [taylor]: Taking taylor expansion of x in x 5.431 * [taylor]: Taking taylor expansion of 2 in x 5.432 * [taylor]: Taking taylor expansion of (* x z) in x 5.432 * [taylor]: Taking taylor expansion of x in x 5.432 * [taylor]: Taking taylor expansion of z in x 5.432 * [taylor]: Taking taylor expansion of y in x 5.434 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in y 5.434 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y 5.434 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in y 5.434 * [taylor]: Taking taylor expansion of 1/2 in y 5.434 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in y 5.434 * [taylor]: Taking taylor expansion of z in y 5.434 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 5.434 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 5.434 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.434 * [taylor]: Taking taylor expansion of x in y 5.434 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 5.434 * [taylor]: Taking taylor expansion of 1/2 in y 5.434 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 5.434 * [taylor]: Taking taylor expansion of z in y 5.434 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 5.434 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.434 * [taylor]: Taking taylor expansion of x in y 5.434 * [taylor]: Taking taylor expansion of y in y 5.435 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z 5.435 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in z 5.435 * [taylor]: Taking taylor expansion of 1/2 in z 5.435 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 5.435 * [taylor]: Taking taylor expansion of z in z 5.435 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 5.435 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 5.435 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.435 * [taylor]: Taking taylor expansion of x in z 5.435 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 5.435 * [taylor]: Taking taylor expansion of 1/2 in z 5.435 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 5.435 * [taylor]: Taking taylor expansion of z in z 5.435 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 5.435 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.435 * [taylor]: Taking taylor expansion of x in z 5.442 * [taylor]: Taking taylor expansion of 0 in y 5.446 * [taylor]: Taking taylor expansion of 0 in z 5.455 * [taylor]: Taking taylor expansion of 0 in y 5.455 * [taylor]: Taking taylor expansion of 0 in z 5.462 * [taylor]: Taking taylor expansion of 0 in z 5.470 * [approximate]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in (x y z) around 0 5.470 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in z 5.470 * [taylor]: Taking taylor expansion of -1 in z 5.470 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in z 5.470 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in z 5.470 * [taylor]: Taking taylor expansion of x in z 5.470 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z 5.470 * [taylor]: Taking taylor expansion of z in z 5.470 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 5.470 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 5.470 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 5.470 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 5.470 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.470 * [taylor]: Taking taylor expansion of -1 in z 5.470 * [taylor]: Taking taylor expansion of x in z 5.470 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 5.470 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 5.470 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.470 * [taylor]: Taking taylor expansion of -1 in z 5.470 * [taylor]: Taking taylor expansion of x in z 5.471 * [taylor]: Taking taylor expansion of 2 in z 5.471 * [taylor]: Taking taylor expansion of y in z 5.475 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in y 5.475 * [taylor]: Taking taylor expansion of -1 in y 5.475 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in y 5.475 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in y 5.475 * [taylor]: Taking taylor expansion of x in y 5.475 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y 5.475 * [taylor]: Taking taylor expansion of z in y 5.475 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 5.476 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 5.476 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 5.476 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 5.476 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.476 * [taylor]: Taking taylor expansion of -1 in y 5.476 * [taylor]: Taking taylor expansion of x in y 5.476 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 5.476 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 5.476 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.476 * [taylor]: Taking taylor expansion of -1 in y 5.476 * [taylor]: Taking taylor expansion of x in y 5.476 * [taylor]: Taking taylor expansion of 2 in y 5.476 * [taylor]: Taking taylor expansion of y in y 5.476 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 5.477 * [taylor]: Taking taylor expansion of -1 in x 5.477 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 5.477 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 5.477 * [taylor]: Taking taylor expansion of x in x 5.477 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 5.477 * [taylor]: Taking taylor expansion of z in x 5.477 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 5.477 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 5.477 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 5.477 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.477 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.477 * [taylor]: Taking taylor expansion of -1 in x 5.477 * [taylor]: Taking taylor expansion of x in x 5.477 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 5.478 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 5.478 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.478 * [taylor]: Taking taylor expansion of -1 in x 5.478 * [taylor]: Taking taylor expansion of x in x 5.478 * [taylor]: Taking taylor expansion of 2 in x 5.479 * [taylor]: Taking taylor expansion of y in x 5.481 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 5.481 * [taylor]: Taking taylor expansion of -1 in x 5.481 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 5.481 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 5.481 * [taylor]: Taking taylor expansion of x in x 5.481 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 5.481 * [taylor]: Taking taylor expansion of z in x 5.481 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 5.481 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 5.481 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 5.481 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.481 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.481 * [taylor]: Taking taylor expansion of -1 in x 5.481 * [taylor]: Taking taylor expansion of x in x 5.482 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 5.482 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 5.482 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.482 * [taylor]: Taking taylor expansion of -1 in x 5.482 * [taylor]: Taking taylor expansion of x in x 5.482 * [taylor]: Taking taylor expansion of 2 in x 5.483 * [taylor]: Taking taylor expansion of y in x 5.485 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in y 5.485 * [taylor]: Taking taylor expansion of -1 in y 5.485 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in y 5.485 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y 5.485 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 5.485 * [taylor]: Taking taylor expansion of 1/2 in y 5.485 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 5.485 * [taylor]: Taking taylor expansion of z in y 5.485 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 5.485 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.485 * [taylor]: Taking taylor expansion of x in y 5.485 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y 5.485 * [taylor]: Taking taylor expansion of 1/2 in y 5.485 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y 5.485 * [taylor]: Taking taylor expansion of z in y 5.485 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 5.485 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.485 * [taylor]: Taking taylor expansion of -1 in y 5.485 * [taylor]: Taking taylor expansion of x in y 5.486 * [taylor]: Taking taylor expansion of y in y 5.486 * [taylor]: Taking taylor expansion of (* -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z 5.486 * [taylor]: Taking taylor expansion of -1 in z 5.486 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z 5.486 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 5.486 * [taylor]: Taking taylor expansion of 1/2 in z 5.486 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 5.486 * [taylor]: Taking taylor expansion of z in z 5.486 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 5.486 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.486 * [taylor]: Taking taylor expansion of x in z 5.486 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z 5.486 * [taylor]: Taking taylor expansion of 1/2 in z 5.486 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 5.486 * [taylor]: Taking taylor expansion of z in z 5.486 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 5.486 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.487 * [taylor]: Taking taylor expansion of -1 in z 5.487 * [taylor]: Taking taylor expansion of x in z 5.495 * [taylor]: Taking taylor expansion of 0 in y 5.499 * [taylor]: Taking taylor expansion of 0 in z 5.515 * [taylor]: Taking taylor expansion of 0 in y 5.516 * [taylor]: Taking taylor expansion of 0 in z 5.523 * [taylor]: Taking taylor expansion of 0 in z 5.531 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 5.531 * [approximate]: Taking taylor expansion of (cosh x) in (x) around 0 5.531 * [taylor]: Taking taylor expansion of (cosh x) in x 5.531 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 5.531 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 5.531 * [taylor]: Taking taylor expansion of (exp x) in x 5.531 * [taylor]: Taking taylor expansion of x in x 5.531 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.531 * [taylor]: Taking taylor expansion of (- x) in x 5.531 * [taylor]: Taking taylor expansion of x in x 5.532 * [taylor]: Taking taylor expansion of 2 in x 5.533 * [taylor]: Taking taylor expansion of (cosh x) in x 5.533 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 5.533 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 5.533 * [taylor]: Taking taylor expansion of (exp x) in x 5.533 * [taylor]: Taking taylor expansion of x in x 5.533 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.533 * [taylor]: Taking taylor expansion of (- x) in x 5.533 * [taylor]: Taking taylor expansion of x in x 5.534 * [taylor]: Taking taylor expansion of 2 in x 5.554 * [approximate]: Taking taylor expansion of (cosh (/ 1 x)) in (x) around 0 5.554 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 5.555 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 5.555 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.555 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.555 * [taylor]: Taking taylor expansion of x in x 5.555 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.555 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.555 * [taylor]: Taking taylor expansion of x in x 5.556 * [taylor]: Taking taylor expansion of 2 in x 5.556 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 5.556 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 5.556 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.556 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.556 * [taylor]: Taking taylor expansion of x in x 5.557 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.557 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.557 * [taylor]: Taking taylor expansion of x in x 5.558 * [taylor]: Taking taylor expansion of 2 in x 5.571 * [approximate]: Taking taylor expansion of (cosh (/ -1 x)) in (x) around 0 5.571 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 5.571 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 5.571 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 5.571 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.571 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.571 * [taylor]: Taking taylor expansion of -1 in x 5.571 * [taylor]: Taking taylor expansion of x in x 5.571 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 5.571 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 5.572 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.572 * [taylor]: Taking taylor expansion of -1 in x 5.572 * [taylor]: Taking taylor expansion of x in x 5.572 * [taylor]: Taking taylor expansion of 2 in x 5.572 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 5.573 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 5.573 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 5.573 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.573 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.573 * [taylor]: Taking taylor expansion of -1 in x 5.573 * [taylor]: Taking taylor expansion of x in x 5.573 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 5.573 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 5.573 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.573 * [taylor]: Taking taylor expansion of -1 in x 5.573 * [taylor]: Taking taylor expansion of x in x 5.574 * [taylor]: Taking taylor expansion of 2 in x 5.586 * * * [progress]: simplifying candidates 5.587 * [simplify]: Simplifying using # : (expm1 (/ y (* x z))) (log1p (/ y (* x z))) (- (log y) (+ (log x) (log z))) (- (log y) (log (* x z))) (log (/ y (* x z))) (exp (/ y (* x z))) (/ (* (* y y) y) (* (* (* x x) x) (* (* z z) z))) (/ (* (* y y) y) (* (* (* x z) (* x z)) (* x z))) (* (cbrt (/ y (* x z))) (cbrt (/ y (* x z)))) (cbrt (/ y (* x z))) (* (* (/ y (* x z)) (/ y (* x z))) (/ y (* x z))) (sqrt (/ y (* x z))) (sqrt (/ y (* x z))) (- y) (- (* x z)) (/ (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z) (/ (sqrt y) x) (/ (sqrt y) z) (/ 1 x) (/ y z) (/ 1 (* x z)) (/ (* x z) y) (/ y x) (/ (* x z) (cbrt y)) (/ (* x z) (sqrt y)) (/ (* x z) y) (expm1 (* (cosh x) (/ y (* x z)))) (log1p (* (cosh x) (/ y (* x z)))) (* (cosh x) (/ y (* x z))) (+ (log (cosh x)) (- (log y) (+ (log x) (log z)))) (+ (log (cosh x)) (- (log y) (log (* x z)))) (+ (log (cosh x)) (log (/ y (* x z)))) (log (* (cosh x) (/ y (* x z)))) (exp (* (cosh x) (/ y (* x z)))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* y y) y) (* (* (* x x) x) (* (* z z) z)))) (* (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* y y) y) (* (* (* x z) (* x z)) (* x z)))) (* (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ y (* x z)) (/ y (* x z))) (/ y (* x z)))) (* (cbrt (* (cosh x) (/ y (* x z)))) (cbrt (* (cosh x) (/ y (* x z))))) (cbrt (* (cosh x) (/ y (* x z)))) (* (* (* (cosh x) (/ y (* x z))) (* (cosh x) (/ y (* x z)))) (* (cosh x) (/ y (* x z)))) (sqrt (* (cosh x) (/ y (* x z)))) (sqrt (* (cosh x) (/ y (* x z)))) (* (+ (exp x) (exp (- x))) y) (* 2 (* x z)) (* (sqrt (cosh x)) (sqrt (/ y (* x z)))) (* (sqrt (cosh x)) (sqrt (/ y (* x z)))) (* (cosh x) (* (cbrt (/ y (* x z))) (cbrt (/ y (* x z))))) (* (cosh x) (sqrt (/ y (* x z)))) (* (cosh x) (/ (* (cbrt y) (cbrt y)) x)) (* (cosh x) (/ (sqrt y) x)) (* (cosh x) (/ 1 x)) (* (cosh x) 1) (* (cosh x) y) (* (cbrt (cosh x)) (/ y (* x z))) (* (sqrt (cosh x)) (/ y (* x z))) (* (cosh x) (/ y (* x z))) (* (cosh x) y) (* (+ (exp x) (exp (- x))) (/ y (* x z))) (expm1 (cosh x)) (log1p (cosh x)) (+ (exp x) (exp (- x))) (log (cosh x)) (exp (cosh x)) (* (cbrt (cosh x)) (cbrt (cosh x))) (cbrt (cosh x)) (* (* (cosh x) (cosh x)) (cosh x)) (sqrt (cosh x)) (sqrt (cosh x)) (/ y (* x z)) (/ y (* x z)) (/ y (* x z)) (+ (* 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)) (+ (* 1/24 (pow x 4)) 1)) (* 1/2 (+ (exp x) (exp (- x)))) (* 1/2 (+ (exp (* -1 x)) (exp x))) 5.591 * * [simplify]: iteration 0 : 122 enodes (cost 673 ) 5.620 * * [simplify]: iteration 1 : 292 enodes (cost 651 ) 5.708 * * [simplify]: iteration 2 : 1064 enodes (cost 553 ) 6.469 * * [simplify]: iteration done : 5001 enodes (cost 553 ) 6.470 * [simplify]: Simplified to: (expm1 (/ y (* x z))) (log1p (/ y (* x z))) (log (/ y (* x z))) (log (/ y (* x z))) (log (/ y (* x z))) (exp (/ y (* x z))) (pow (/ y (* x z)) 3) (pow (/ y (* x z)) 3) (* (cbrt (/ y (* x z))) (cbrt (/ y (* x z)))) (cbrt (/ y (* x z))) (pow (/ y (* x z)) 3) (sqrt (/ y (* x z))) (sqrt (/ y (* x z))) (- y) (- (* x z)) (/ (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z) (/ (sqrt y) x) (/ (sqrt y) z) (/ 1 x) (/ y z) (/ 1 (* x z)) (/ (* x z) y) (/ y x) (/ (* x z) (cbrt y)) (/ (* x z) (sqrt y)) (/ (* x z) y) (expm1 (* (cosh x) (/ y (* x z)))) (log1p (* (cosh x) (/ y (* x z)))) (* (cosh x) (/ y (* x z))) (log (* (cosh x) (/ y (* x z)))) (log (* (cosh x) (/ y (* x z)))) (log (* (cosh x) (/ y (* x z)))) (log (* (cosh x) (/ y (* x z)))) (exp (* (cosh x) (/ y (* x z)))) (pow (* (cosh x) (/ y (* x z))) 3) (pow (* (cosh x) (/ y (* x z))) 3) (pow (* (cosh x) (/ y (* x z))) 3) (* (cbrt (* (cosh x) (/ y (* x z)))) (cbrt (* (cosh x) (/ y (* x z))))) (cbrt (* (cosh x) (/ y (* x z)))) (pow (* (cosh x) (/ y (* x z))) 3) (sqrt (* (cosh x) (/ y (* x z)))) (sqrt (* (cosh x) (/ y (* x z)))) (* (+ (exp x) (exp (- x))) y) (* 2 (* x z)) (* (sqrt (cosh x)) (sqrt (/ y (* x z)))) (* (sqrt (cosh x)) (sqrt (/ y (* x z)))) (* (cosh x) (* (cbrt (/ y (* x z))) (cbrt (/ y (* x z))))) (* (cosh x) (sqrt (/ y (* x z)))) (* (cosh x) (/ (* (cbrt y) (cbrt y)) x)) (* (cosh x) (/ (sqrt y) x)) (/ (cosh x) x) (cosh x) (* (cosh x) y) (* (cbrt (cosh x)) (/ y (* x z))) (* (sqrt (cosh x)) (/ y (* x z))) (* (cosh x) (/ y (* x z))) (* (cosh x) y) (* (+ (exp x) (exp (- x))) (/ y (* x z))) (expm1 (cosh x)) (log1p (cosh x)) (+ (exp x) (exp (- x))) (log (cosh x)) (exp (cosh x)) (* (cbrt (cosh x)) (cbrt (cosh x))) (cbrt (cosh x)) (pow (cosh x) 3) (sqrt (cosh x)) (sqrt (cosh x)) (/ y (* x z)) (/ y (* x z)) (/ y (* x z)) (fma 1/2 (/ (* x y) z) (/ y (* x z))) (/ (* 1/2 (+ (exp x) (exp (- x)))) (/ (* x z) y)) (/ (* 1/2 (+ (exp x) (exp (- x)))) (/ (* x z) y)) (fma 1/2 (* x x) (fma 1/24 (pow x 4) 1)) (* (+ (exp x) (exp (- x))) 1/2) (* (+ (exp x) (exp (- x))) 1/2) 6.470 * * * [progress]: adding candidates to table 6.655 * * [progress]: iteration 3 / 4 6.655 * * * [progress]: picking best candidate 6.673 * * * * [pick]: Picked # 6.673 * * * [progress]: localizing error 6.690 * * * [progress]: generating rewritten candidates 6.690 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 6.693 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 6.721 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 6.727 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 6.744 * * * [progress]: generating series expansions 6.744 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 6.745 * [approximate]: Taking taylor expansion of (/ y (* x z)) in (y x z) around 0 6.745 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 6.745 * [taylor]: Taking taylor expansion of y in z 6.745 * [taylor]: Taking taylor expansion of (* x z) in z 6.745 * [taylor]: Taking taylor expansion of x in z 6.745 * [taylor]: Taking taylor expansion of z in z 6.746 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 6.746 * [taylor]: Taking taylor expansion of y in x 6.746 * [taylor]: Taking taylor expansion of (* x z) in x 6.746 * [taylor]: Taking taylor expansion of x in x 6.746 * [taylor]: Taking taylor expansion of z in x 6.746 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 6.746 * [taylor]: Taking taylor expansion of y in y 6.746 * [taylor]: Taking taylor expansion of (* x z) in y 6.746 * [taylor]: Taking taylor expansion of x in y 6.746 * [taylor]: Taking taylor expansion of z in y 6.746 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 6.746 * [taylor]: Taking taylor expansion of y in y 6.746 * [taylor]: Taking taylor expansion of (* x z) in y 6.746 * [taylor]: Taking taylor expansion of x in y 6.746 * [taylor]: Taking taylor expansion of z in y 6.747 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 6.747 * [taylor]: Taking taylor expansion of (* x z) in x 6.747 * [taylor]: Taking taylor expansion of x in x 6.747 * [taylor]: Taking taylor expansion of z in x 6.747 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.747 * [taylor]: Taking taylor expansion of z in z 6.748 * [taylor]: Taking taylor expansion of 0 in x 6.748 * [taylor]: Taking taylor expansion of 0 in z 6.750 * [taylor]: Taking taylor expansion of 0 in x 6.750 * [taylor]: Taking taylor expansion of 0 in z 6.751 * [taylor]: Taking taylor expansion of 0 in z 6.752 * [taylor]: Taking taylor expansion of 0 in x 6.752 * [taylor]: Taking taylor expansion of 0 in z 6.753 * [taylor]: Taking taylor expansion of 0 in z 6.754 * [taylor]: Taking taylor expansion of 0 in z 6.754 * [approximate]: Taking taylor expansion of (/ (* x z) y) in (y x z) around 0 6.754 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 6.754 * [taylor]: Taking taylor expansion of (* x z) in z 6.754 * [taylor]: Taking taylor expansion of x in z 6.754 * [taylor]: Taking taylor expansion of z in z 6.754 * [taylor]: Taking taylor expansion of y in z 6.755 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 6.755 * [taylor]: Taking taylor expansion of (* x z) in x 6.755 * [taylor]: Taking taylor expansion of x in x 6.755 * [taylor]: Taking taylor expansion of z in x 6.755 * [taylor]: Taking taylor expansion of y in x 6.755 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 6.755 * [taylor]: Taking taylor expansion of (* x z) in y 6.755 * [taylor]: Taking taylor expansion of x in y 6.755 * [taylor]: Taking taylor expansion of z in y 6.755 * [taylor]: Taking taylor expansion of y in y 6.755 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 6.755 * [taylor]: Taking taylor expansion of (* x z) in y 6.755 * [taylor]: Taking taylor expansion of x in y 6.756 * [taylor]: Taking taylor expansion of z in y 6.756 * [taylor]: Taking taylor expansion of y in y 6.756 * [taylor]: Taking taylor expansion of (* x z) in x 6.756 * [taylor]: Taking taylor expansion of x in x 6.756 * [taylor]: Taking taylor expansion of z in x 6.756 * [taylor]: Taking taylor expansion of z in z 6.757 * [taylor]: Taking taylor expansion of 0 in x 6.757 * [taylor]: Taking taylor expansion of 0 in z 6.758 * [taylor]: Taking taylor expansion of 0 in z 6.759 * [taylor]: Taking taylor expansion of 0 in x 6.759 * [taylor]: Taking taylor expansion of 0 in z 6.759 * [taylor]: Taking taylor expansion of 0 in z 6.760 * [taylor]: Taking taylor expansion of 0 in z 6.760 * [approximate]: Taking taylor expansion of (* -1 (/ (* x z) y)) in (y x z) around 0 6.760 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) y)) in z 6.760 * [taylor]: Taking taylor expansion of -1 in z 6.760 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 6.760 * [taylor]: Taking taylor expansion of (* x z) in z 6.760 * [taylor]: Taking taylor expansion of x in z 6.760 * [taylor]: Taking taylor expansion of z in z 6.760 * [taylor]: Taking taylor expansion of y in z 6.761 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) y)) in x 6.761 * [taylor]: Taking taylor expansion of -1 in x 6.761 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 6.761 * [taylor]: Taking taylor expansion of (* x z) in x 6.761 * [taylor]: Taking taylor expansion of x in x 6.761 * [taylor]: Taking taylor expansion of z in x 6.761 * [taylor]: Taking taylor expansion of y in x 6.761 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) y)) in y 6.761 * [taylor]: Taking taylor expansion of -1 in y 6.761 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 6.761 * [taylor]: Taking taylor expansion of (* x z) in y 6.762 * [taylor]: Taking taylor expansion of x in y 6.762 * [taylor]: Taking taylor expansion of z in y 6.762 * [taylor]: Taking taylor expansion of y in y 6.762 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) y)) in y 6.762 * [taylor]: Taking taylor expansion of -1 in y 6.762 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 6.762 * [taylor]: Taking taylor expansion of (* x z) in y 6.762 * [taylor]: Taking taylor expansion of x in y 6.762 * [taylor]: Taking taylor expansion of z in y 6.762 * [taylor]: Taking taylor expansion of y in y 6.762 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x 6.762 * [taylor]: Taking taylor expansion of -1 in x 6.762 * [taylor]: Taking taylor expansion of (* x z) in x 6.762 * [taylor]: Taking taylor expansion of x in x 6.762 * [taylor]: Taking taylor expansion of z in x 6.763 * [taylor]: Taking taylor expansion of (- z) in z 6.763 * [taylor]: Taking taylor expansion of z in z 6.764 * [taylor]: Taking taylor expansion of 0 in x 6.764 * [taylor]: Taking taylor expansion of 0 in z 6.765 * [taylor]: Taking taylor expansion of 0 in z 6.768 * [taylor]: Taking taylor expansion of 0 in x 6.768 * [taylor]: Taking taylor expansion of 0 in z 6.768 * [taylor]: Taking taylor expansion of 0 in z 6.770 * [taylor]: Taking taylor expansion of 0 in z 6.770 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 6.770 * [approximate]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) y) (* x z)) in (x y z) around 0 6.770 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) y) (* x z)) in z 6.770 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) y) in z 6.770 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 6.770 * [taylor]: Taking taylor expansion of (exp x) in z 6.770 * [taylor]: Taking taylor expansion of x in z 6.770 * [taylor]: Taking taylor expansion of (exp (- x)) in z 6.770 * [taylor]: Taking taylor expansion of (- x) in z 6.770 * [taylor]: Taking taylor expansion of x in z 6.771 * [taylor]: Taking taylor expansion of y in z 6.771 * [taylor]: Taking taylor expansion of (* x z) in z 6.771 * [taylor]: Taking taylor expansion of x in z 6.771 * [taylor]: Taking taylor expansion of z in z 6.771 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) y) (* x z)) in y 6.771 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) y) in y 6.771 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 6.771 * [taylor]: Taking taylor expansion of (exp x) in y 6.771 * [taylor]: Taking taylor expansion of x in y 6.771 * [taylor]: Taking taylor expansion of (exp (- x)) in y 6.771 * [taylor]: Taking taylor expansion of (- x) in y 6.771 * [taylor]: Taking taylor expansion of x in y 6.772 * [taylor]: Taking taylor expansion of y in y 6.772 * [taylor]: Taking taylor expansion of (* x z) in y 6.772 * [taylor]: Taking taylor expansion of x in y 6.772 * [taylor]: Taking taylor expansion of z in y 6.774 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) y) (* x z)) in x 6.774 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) y) in x 6.774 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.774 * [taylor]: Taking taylor expansion of (exp x) in x 6.774 * [taylor]: Taking taylor expansion of x in x 6.774 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.774 * [taylor]: Taking taylor expansion of (- x) in x 6.774 * [taylor]: Taking taylor expansion of x in x 6.775 * [taylor]: Taking taylor expansion of y in x 6.775 * [taylor]: Taking taylor expansion of (* x z) in x 6.775 * [taylor]: Taking taylor expansion of x in x 6.775 * [taylor]: Taking taylor expansion of z in x 6.776 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) y) (* x z)) in x 6.776 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) y) in x 6.776 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.776 * [taylor]: Taking taylor expansion of (exp x) in x 6.776 * [taylor]: Taking taylor expansion of x in x 6.776 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.776 * [taylor]: Taking taylor expansion of (- x) in x 6.776 * [taylor]: Taking taylor expansion of x in x 6.776 * [taylor]: Taking taylor expansion of y in x 6.777 * [taylor]: Taking taylor expansion of (* x z) in x 6.777 * [taylor]: Taking taylor expansion of x in x 6.777 * [taylor]: Taking taylor expansion of z in x 6.777 * [taylor]: Taking taylor expansion of (* 2 (/ y z)) in y 6.777 * [taylor]: Taking taylor expansion of 2 in y 6.777 * [taylor]: Taking taylor expansion of (/ y z) in y 6.777 * [taylor]: Taking taylor expansion of y in y 6.777 * [taylor]: Taking taylor expansion of z in y 6.778 * [taylor]: Taking taylor expansion of (/ 2 z) in z 6.778 * [taylor]: Taking taylor expansion of 2 in z 6.778 * [taylor]: Taking taylor expansion of z in z 6.786 * [taylor]: Taking taylor expansion of 0 in y 6.786 * [taylor]: Taking taylor expansion of 0 in z 6.787 * [taylor]: Taking taylor expansion of 0 in z 6.793 * [taylor]: Taking taylor expansion of (/ y z) in y 6.793 * [taylor]: Taking taylor expansion of y in y 6.793 * [taylor]: Taking taylor expansion of z in y 6.793 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.793 * [taylor]: Taking taylor expansion of z in z 6.794 * [taylor]: Taking taylor expansion of 0 in z 6.795 * [taylor]: Taking taylor expansion of 0 in z 6.802 * [taylor]: Taking taylor expansion of 0 in y 6.802 * [taylor]: Taking taylor expansion of 0 in z 6.803 * [taylor]: Taking taylor expansion of 0 in z 6.803 * [taylor]: Taking taylor expansion of 0 in z 6.804 * [taylor]: Taking taylor expansion of 0 in z 6.805 * [approximate]: Taking taylor expansion of (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y) in (x y z) around 0 6.805 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y) in z 6.805 * [taylor]: Taking taylor expansion of (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) in z 6.805 * [taylor]: Taking taylor expansion of x in z 6.805 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z) in z 6.805 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 6.805 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 6.805 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.805 * [taylor]: Taking taylor expansion of x in z 6.805 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 6.805 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 6.805 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.805 * [taylor]: Taking taylor expansion of x in z 6.805 * [taylor]: Taking taylor expansion of z in z 6.806 * [taylor]: Taking taylor expansion of y in z 6.810 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y) in y 6.810 * [taylor]: Taking taylor expansion of (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) in y 6.810 * [taylor]: Taking taylor expansion of x in y 6.810 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z) in y 6.810 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.810 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.810 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.810 * [taylor]: Taking taylor expansion of x in y 6.811 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.811 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.811 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.811 * [taylor]: Taking taylor expansion of x in y 6.811 * [taylor]: Taking taylor expansion of z in y 6.811 * [taylor]: Taking taylor expansion of y in y 6.811 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y) in x 6.811 * [taylor]: Taking taylor expansion of (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) in x 6.811 * [taylor]: Taking taylor expansion of x in x 6.811 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z) in x 6.811 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.811 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.811 * [taylor]: Taking taylor expansion of x in x 6.812 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.812 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.812 * [taylor]: Taking taylor expansion of x in x 6.813 * [taylor]: Taking taylor expansion of z in x 6.813 * [taylor]: Taking taylor expansion of y in x 6.814 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y) in x 6.814 * [taylor]: Taking taylor expansion of (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) in x 6.814 * [taylor]: Taking taylor expansion of x in x 6.814 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z) in x 6.814 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.814 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.814 * [taylor]: Taking taylor expansion of x in x 6.815 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.815 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.815 * [taylor]: Taking taylor expansion of x in x 6.815 * [taylor]: Taking taylor expansion of z in x 6.816 * [taylor]: Taking taylor expansion of y in x 6.817 * [taylor]: Taking taylor expansion of (/ (+ (* z (exp (- (/ 1 x)))) (* z (exp (/ 1 x)))) y) in y 6.817 * [taylor]: Taking taylor expansion of (+ (* z (exp (- (/ 1 x)))) (* z (exp (/ 1 x)))) in y 6.817 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in y 6.817 * [taylor]: Taking taylor expansion of z in y 6.817 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.817 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.817 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.817 * [taylor]: Taking taylor expansion of x in y 6.817 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 6.817 * [taylor]: Taking taylor expansion of z in y 6.817 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.817 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.817 * [taylor]: Taking taylor expansion of x in y 6.817 * [taylor]: Taking taylor expansion of y in y 6.818 * [taylor]: Taking taylor expansion of (+ (* z (exp (- (/ 1 x)))) (* z (exp (/ 1 x)))) in z 6.818 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 6.818 * [taylor]: Taking taylor expansion of z in z 6.818 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 6.818 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 6.818 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.818 * [taylor]: Taking taylor expansion of x in z 6.818 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 6.818 * [taylor]: Taking taylor expansion of z in z 6.818 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 6.818 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.818 * [taylor]: Taking taylor expansion of x in z 6.823 * [taylor]: Taking taylor expansion of 0 in y 6.826 * [taylor]: Taking taylor expansion of 0 in z 6.832 * [taylor]: Taking taylor expansion of 0 in y 6.833 * [taylor]: Taking taylor expansion of 0 in z 6.838 * [taylor]: Taking taylor expansion of 0 in z 6.845 * [approximate]: Taking taylor expansion of (* -1 (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y)) in (x y z) around 0 6.845 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y)) in z 6.845 * [taylor]: Taking taylor expansion of -1 in z 6.845 * [taylor]: Taking taylor expansion of (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y) in z 6.845 * [taylor]: Taking taylor expansion of (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) in z 6.845 * [taylor]: Taking taylor expansion of x in z 6.845 * [taylor]: Taking taylor expansion of (* z (+ (exp (/ 1 x)) (exp (/ -1 x)))) in z 6.845 * [taylor]: Taking taylor expansion of z in z 6.845 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in z 6.845 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 6.845 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.845 * [taylor]: Taking taylor expansion of x in z 6.845 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 6.845 * [taylor]: Taking taylor expansion of (/ -1 x) in z 6.845 * [taylor]: Taking taylor expansion of -1 in z 6.845 * [taylor]: Taking taylor expansion of x in z 6.845 * [taylor]: Taking taylor expansion of y in z 6.848 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y)) in y 6.848 * [taylor]: Taking taylor expansion of -1 in y 6.848 * [taylor]: Taking taylor expansion of (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y) in y 6.848 * [taylor]: Taking taylor expansion of (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 6.848 * [taylor]: Taking taylor expansion of x in y 6.848 * [taylor]: Taking taylor expansion of (* z (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 6.848 * [taylor]: Taking taylor expansion of z in y 6.848 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 6.848 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.848 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.848 * [taylor]: Taking taylor expansion of x in y 6.849 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.849 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.849 * [taylor]: Taking taylor expansion of -1 in y 6.849 * [taylor]: Taking taylor expansion of x in y 6.849 * [taylor]: Taking taylor expansion of y in y 6.849 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y)) in x 6.849 * [taylor]: Taking taylor expansion of -1 in x 6.849 * [taylor]: Taking taylor expansion of (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y) in x 6.849 * [taylor]: Taking taylor expansion of (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 6.849 * [taylor]: Taking taylor expansion of x in x 6.849 * [taylor]: Taking taylor expansion of (* z (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 6.849 * [taylor]: Taking taylor expansion of z in x 6.849 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 6.849 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.849 * [taylor]: Taking taylor expansion of x in x 6.850 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.850 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.850 * [taylor]: Taking taylor expansion of -1 in x 6.850 * [taylor]: Taking taylor expansion of x in x 6.850 * [taylor]: Taking taylor expansion of y in x 6.852 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y)) in x 6.852 * [taylor]: Taking taylor expansion of -1 in x 6.852 * [taylor]: Taking taylor expansion of (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y) in x 6.852 * [taylor]: Taking taylor expansion of (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 6.852 * [taylor]: Taking taylor expansion of x in x 6.852 * [taylor]: Taking taylor expansion of (* z (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 6.852 * [taylor]: Taking taylor expansion of z in x 6.852 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 6.852 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.852 * [taylor]: Taking taylor expansion of x in x 6.852 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.852 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.852 * [taylor]: Taking taylor expansion of -1 in x 6.852 * [taylor]: Taking taylor expansion of x in x 6.853 * [taylor]: Taking taylor expansion of y in x 6.854 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* z (exp (/ 1 x))) (* z (exp (/ -1 x)))) y)) in y 6.854 * [taylor]: Taking taylor expansion of -1 in y 6.854 * [taylor]: Taking taylor expansion of (/ (+ (* z (exp (/ 1 x))) (* z (exp (/ -1 x)))) y) in y 6.854 * [taylor]: Taking taylor expansion of (+ (* z (exp (/ 1 x))) (* z (exp (/ -1 x)))) in y 6.854 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 6.854 * [taylor]: Taking taylor expansion of z in y 6.855 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.855 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.855 * [taylor]: Taking taylor expansion of x in y 6.855 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y 6.855 * [taylor]: Taking taylor expansion of z in y 6.855 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.855 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.855 * [taylor]: Taking taylor expansion of -1 in y 6.855 * [taylor]: Taking taylor expansion of x in y 6.855 * [taylor]: Taking taylor expansion of y in y 6.855 * [taylor]: Taking taylor expansion of (* -1 (+ (* z (exp (/ 1 x))) (* z (exp (/ -1 x))))) in z 6.855 * [taylor]: Taking taylor expansion of -1 in z 6.855 * [taylor]: Taking taylor expansion of (+ (* z (exp (/ 1 x))) (* z (exp (/ -1 x)))) in z 6.855 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 6.855 * [taylor]: Taking taylor expansion of z in z 6.855 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 6.855 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.855 * [taylor]: Taking taylor expansion of x in z 6.855 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 6.855 * [taylor]: Taking taylor expansion of z in z 6.855 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 6.855 * [taylor]: Taking taylor expansion of (/ -1 x) in z 6.855 * [taylor]: Taking taylor expansion of -1 in z 6.855 * [taylor]: Taking taylor expansion of x in z 6.861 * [taylor]: Taking taylor expansion of 0 in y 6.864 * [taylor]: Taking taylor expansion of 0 in z 6.872 * [taylor]: Taking taylor expansion of 0 in y 6.872 * [taylor]: Taking taylor expansion of 0 in z 6.877 * [taylor]: Taking taylor expansion of 0 in z 6.883 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 6.883 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 6.883 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.883 * [taylor]: Taking taylor expansion of (exp x) in x 6.883 * [taylor]: Taking taylor expansion of x in x 6.883 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.883 * [taylor]: Taking taylor expansion of (- x) in x 6.883 * [taylor]: Taking taylor expansion of x in x 6.884 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.884 * [taylor]: Taking taylor expansion of (exp x) in x 6.884 * [taylor]: Taking taylor expansion of x in x 6.884 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.884 * [taylor]: Taking taylor expansion of (- x) in x 6.884 * [taylor]: Taking taylor expansion of x in x 6.909 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 6.909 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.909 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.909 * [taylor]: Taking taylor expansion of x in x 6.910 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.910 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.910 * [taylor]: Taking taylor expansion of x in x 6.911 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.911 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.911 * [taylor]: Taking taylor expansion of x in x 6.911 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.911 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.911 * [taylor]: Taking taylor expansion of x in x 6.914 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 6.914 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 6.914 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.914 * [taylor]: Taking taylor expansion of x in x 6.915 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.915 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.915 * [taylor]: Taking taylor expansion of -1 in x 6.915 * [taylor]: Taking taylor expansion of x in x 6.915 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 6.915 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.915 * [taylor]: Taking taylor expansion of x in x 6.916 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.916 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.916 * [taylor]: Taking taylor expansion of -1 in x 6.916 * [taylor]: Taking taylor expansion of x in x 6.918 * * * * [progress]: [ 4 / 4 ] generating series at (2) 6.919 * [approximate]: Taking taylor expansion of (* 1/2 (/ (* (+ (exp x) (exp (- x))) y) (* x z))) in (x y z) around 0 6.919 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (+ (exp x) (exp (- x))) y) (* x z))) in z 6.919 * [taylor]: Taking taylor expansion of 1/2 in z 6.919 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) y) (* x z)) in z 6.919 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) y) in z 6.919 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 6.919 * [taylor]: Taking taylor expansion of (exp x) in z 6.919 * [taylor]: Taking taylor expansion of x in z 6.919 * [taylor]: Taking taylor expansion of (exp (- x)) in z 6.919 * [taylor]: Taking taylor expansion of (- x) in z 6.919 * [taylor]: Taking taylor expansion of x in z 6.919 * [taylor]: Taking taylor expansion of y in z 6.919 * [taylor]: Taking taylor expansion of (* x z) in z 6.919 * [taylor]: Taking taylor expansion of x in z 6.919 * [taylor]: Taking taylor expansion of z in z 6.920 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (+ (exp x) (exp (- x))) y) (* x z))) in y 6.920 * [taylor]: Taking taylor expansion of 1/2 in y 6.920 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) y) (* x z)) in y 6.920 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) y) in y 6.920 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 6.920 * [taylor]: Taking taylor expansion of (exp x) in y 6.920 * [taylor]: Taking taylor expansion of x in y 6.920 * [taylor]: Taking taylor expansion of (exp (- x)) in y 6.920 * [taylor]: Taking taylor expansion of (- x) in y 6.920 * [taylor]: Taking taylor expansion of x in y 6.920 * [taylor]: Taking taylor expansion of y in y 6.920 * [taylor]: Taking taylor expansion of (* x z) in y 6.920 * [taylor]: Taking taylor expansion of x in y 6.920 * [taylor]: Taking taylor expansion of z in y 6.923 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (+ (exp x) (exp (- x))) y) (* x z))) in x 6.923 * [taylor]: Taking taylor expansion of 1/2 in x 6.923 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) y) (* x z)) in x 6.923 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) y) in x 6.923 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.923 * [taylor]: Taking taylor expansion of (exp x) in x 6.923 * [taylor]: Taking taylor expansion of x in x 6.923 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.923 * [taylor]: Taking taylor expansion of (- x) in x 6.923 * [taylor]: Taking taylor expansion of x in x 6.924 * [taylor]: Taking taylor expansion of y in x 6.924 * [taylor]: Taking taylor expansion of (* x z) in x 6.924 * [taylor]: Taking taylor expansion of x in x 6.924 * [taylor]: Taking taylor expansion of z in x 6.924 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (+ (exp x) (exp (- x))) y) (* x z))) in x 6.925 * [taylor]: Taking taylor expansion of 1/2 in x 6.925 * [taylor]: Taking taylor expansion of (/ (* (+ (exp x) (exp (- x))) y) (* x z)) in x 6.925 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) y) in x 6.925 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.925 * [taylor]: Taking taylor expansion of (exp x) in x 6.925 * [taylor]: Taking taylor expansion of x in x 6.925 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.925 * [taylor]: Taking taylor expansion of (- x) in x 6.925 * [taylor]: Taking taylor expansion of x in x 6.925 * [taylor]: Taking taylor expansion of y in x 6.925 * [taylor]: Taking taylor expansion of (* x z) in x 6.925 * [taylor]: Taking taylor expansion of x in x 6.925 * [taylor]: Taking taylor expansion of z in x 6.926 * [taylor]: Taking taylor expansion of (/ y z) in y 6.926 * [taylor]: Taking taylor expansion of y in y 6.926 * [taylor]: Taking taylor expansion of z in y 6.926 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.926 * [taylor]: Taking taylor expansion of z in z 6.930 * [taylor]: Taking taylor expansion of 0 in y 6.930 * [taylor]: Taking taylor expansion of 0 in z 6.930 * [taylor]: Taking taylor expansion of 0 in z 6.936 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in y 6.936 * [taylor]: Taking taylor expansion of 1/2 in y 6.936 * [taylor]: Taking taylor expansion of (/ y z) in y 6.937 * [taylor]: Taking taylor expansion of y in y 6.937 * [taylor]: Taking taylor expansion of z in y 6.937 * [taylor]: Taking taylor expansion of (/ 1/2 z) in z 6.937 * [taylor]: Taking taylor expansion of 1/2 in z 6.937 * [taylor]: Taking taylor expansion of z in z 6.937 * [taylor]: Taking taylor expansion of 0 in z 6.937 * [taylor]: Taking taylor expansion of 0 in z 6.946 * [taylor]: Taking taylor expansion of 0 in y 6.946 * [taylor]: Taking taylor expansion of 0 in z 6.946 * [taylor]: Taking taylor expansion of 0 in z 6.947 * [taylor]: Taking taylor expansion of 0 in z 6.947 * [taylor]: Taking taylor expansion of 0 in z 6.948 * [approximate]: Taking taylor expansion of (* 1/2 (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y)) in (x y z) around 0 6.948 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y)) in z 6.948 * [taylor]: Taking taylor expansion of 1/2 in z 6.948 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y) in z 6.948 * [taylor]: Taking taylor expansion of (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) in z 6.948 * [taylor]: Taking taylor expansion of x in z 6.948 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z) in z 6.948 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 6.948 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 6.948 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.948 * [taylor]: Taking taylor expansion of x in z 6.948 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 6.948 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 6.948 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.948 * [taylor]: Taking taylor expansion of x in z 6.949 * [taylor]: Taking taylor expansion of z in z 6.949 * [taylor]: Taking taylor expansion of y in z 6.952 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y)) in y 6.952 * [taylor]: Taking taylor expansion of 1/2 in y 6.952 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y) in y 6.952 * [taylor]: Taking taylor expansion of (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) in y 6.952 * [taylor]: Taking taylor expansion of x in y 6.952 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z) in y 6.952 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 6.952 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.952 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.952 * [taylor]: Taking taylor expansion of x in y 6.952 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.952 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.952 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.952 * [taylor]: Taking taylor expansion of x in y 6.953 * [taylor]: Taking taylor expansion of z in y 6.953 * [taylor]: Taking taylor expansion of y in y 6.953 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y)) in x 6.953 * [taylor]: Taking taylor expansion of 1/2 in x 6.953 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y) in x 6.953 * [taylor]: Taking taylor expansion of (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) in x 6.953 * [taylor]: Taking taylor expansion of x in x 6.953 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z) in x 6.953 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.953 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.953 * [taylor]: Taking taylor expansion of x in x 6.954 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.954 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.954 * [taylor]: Taking taylor expansion of x in x 6.954 * [taylor]: Taking taylor expansion of z in x 6.954 * [taylor]: Taking taylor expansion of y in x 6.956 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y)) in x 6.956 * [taylor]: Taking taylor expansion of 1/2 in x 6.956 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) y) in x 6.956 * [taylor]: Taking taylor expansion of (* x (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z)) in x 6.956 * [taylor]: Taking taylor expansion of x in x 6.956 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z) in x 6.956 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.956 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.956 * [taylor]: Taking taylor expansion of x in x 6.956 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.956 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.956 * [taylor]: Taking taylor expansion of x in x 6.957 * [taylor]: Taking taylor expansion of z in x 6.957 * [taylor]: Taking taylor expansion of y in x 6.959 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ (* z (exp (- (/ 1 x)))) (* z (exp (/ 1 x)))) y)) in y 6.959 * [taylor]: Taking taylor expansion of 1/2 in y 6.959 * [taylor]: Taking taylor expansion of (/ (+ (* z (exp (- (/ 1 x)))) (* z (exp (/ 1 x)))) y) in y 6.959 * [taylor]: Taking taylor expansion of (+ (* z (exp (- (/ 1 x)))) (* z (exp (/ 1 x)))) in y 6.959 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in y 6.959 * [taylor]: Taking taylor expansion of z in y 6.959 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.959 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.959 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.959 * [taylor]: Taking taylor expansion of x in y 6.959 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 6.959 * [taylor]: Taking taylor expansion of z in y 6.959 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.959 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.959 * [taylor]: Taking taylor expansion of x in y 6.959 * [taylor]: Taking taylor expansion of y in y 6.959 * [taylor]: Taking taylor expansion of (* 1/2 (+ (* z (exp (- (/ 1 x)))) (* z (exp (/ 1 x))))) in z 6.960 * [taylor]: Taking taylor expansion of 1/2 in z 6.960 * [taylor]: Taking taylor expansion of (+ (* z (exp (- (/ 1 x)))) (* z (exp (/ 1 x)))) in z 6.960 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 6.960 * [taylor]: Taking taylor expansion of z in z 6.960 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 6.960 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 6.960 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.960 * [taylor]: Taking taylor expansion of x in z 6.960 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 6.960 * [taylor]: Taking taylor expansion of z in z 6.960 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 6.960 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.960 * [taylor]: Taking taylor expansion of x in z 6.966 * [taylor]: Taking taylor expansion of 0 in y 6.969 * [taylor]: Taking taylor expansion of 0 in z 6.977 * [taylor]: Taking taylor expansion of 0 in y 6.977 * [taylor]: Taking taylor expansion of 0 in z 6.983 * [taylor]: Taking taylor expansion of 0 in z 6.991 * [approximate]: Taking taylor expansion of (* -1/2 (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y)) in (x y z) around 0 6.991 * [taylor]: Taking taylor expansion of (* -1/2 (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y)) in z 6.991 * [taylor]: Taking taylor expansion of -1/2 in z 6.991 * [taylor]: Taking taylor expansion of (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y) in z 6.991 * [taylor]: Taking taylor expansion of (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) in z 6.991 * [taylor]: Taking taylor expansion of x in z 6.991 * [taylor]: Taking taylor expansion of (* z (+ (exp (/ 1 x)) (exp (/ -1 x)))) in z 6.991 * [taylor]: Taking taylor expansion of z in z 6.991 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in z 6.991 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 6.991 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.991 * [taylor]: Taking taylor expansion of x in z 6.991 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 6.991 * [taylor]: Taking taylor expansion of (/ -1 x) in z 6.991 * [taylor]: Taking taylor expansion of -1 in z 6.991 * [taylor]: Taking taylor expansion of x in z 6.991 * [taylor]: Taking taylor expansion of y in z 6.995 * [taylor]: Taking taylor expansion of (* -1/2 (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y)) in y 6.995 * [taylor]: Taking taylor expansion of -1/2 in y 6.995 * [taylor]: Taking taylor expansion of (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y) in y 6.995 * [taylor]: Taking taylor expansion of (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y 6.995 * [taylor]: Taking taylor expansion of x in y 6.995 * [taylor]: Taking taylor expansion of (* z (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y 6.995 * [taylor]: Taking taylor expansion of z in y 6.995 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 6.995 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.995 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.995 * [taylor]: Taking taylor expansion of x in y 6.995 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.995 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.995 * [taylor]: Taking taylor expansion of -1 in y 6.995 * [taylor]: Taking taylor expansion of x in y 6.995 * [taylor]: Taking taylor expansion of y in y 6.995 * [taylor]: Taking taylor expansion of (* -1/2 (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y)) in x 6.995 * [taylor]: Taking taylor expansion of -1/2 in x 6.995 * [taylor]: Taking taylor expansion of (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y) in x 6.995 * [taylor]: Taking taylor expansion of (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 6.996 * [taylor]: Taking taylor expansion of x in x 6.996 * [taylor]: Taking taylor expansion of (* z (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 6.996 * [taylor]: Taking taylor expansion of z in x 6.996 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 6.996 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.996 * [taylor]: Taking taylor expansion of x in x 6.996 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.996 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.996 * [taylor]: Taking taylor expansion of -1 in x 6.996 * [taylor]: Taking taylor expansion of x in x 6.997 * [taylor]: Taking taylor expansion of y in x 6.998 * [taylor]: Taking taylor expansion of (* -1/2 (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y)) in x 6.998 * [taylor]: Taking taylor expansion of -1/2 in x 6.998 * [taylor]: Taking taylor expansion of (/ (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) y) in x 6.998 * [taylor]: Taking taylor expansion of (* x (* z (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x 6.998 * [taylor]: Taking taylor expansion of x in x 6.998 * [taylor]: Taking taylor expansion of (* z (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 6.998 * [taylor]: Taking taylor expansion of z in x 6.998 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 6.998 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.998 * [taylor]: Taking taylor expansion of x in x 6.999 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.999 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.999 * [taylor]: Taking taylor expansion of -1 in x 6.999 * [taylor]: Taking taylor expansion of x in x 6.999 * [taylor]: Taking taylor expansion of y in x 7.001 * [taylor]: Taking taylor expansion of (* -1/2 (/ (+ (* z (exp (/ 1 x))) (* z (exp (/ -1 x)))) y)) in y 7.001 * [taylor]: Taking taylor expansion of -1/2 in y 7.001 * [taylor]: Taking taylor expansion of (/ (+ (* z (exp (/ 1 x))) (* z (exp (/ -1 x)))) y) in y 7.001 * [taylor]: Taking taylor expansion of (+ (* z (exp (/ 1 x))) (* z (exp (/ -1 x)))) in y 7.001 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 7.001 * [taylor]: Taking taylor expansion of z in y 7.001 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 7.001 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.001 * [taylor]: Taking taylor expansion of x in y 7.001 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y 7.001 * [taylor]: Taking taylor expansion of z in y 7.001 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 7.001 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.001 * [taylor]: Taking taylor expansion of -1 in y 7.001 * [taylor]: Taking taylor expansion of x in y 7.001 * [taylor]: Taking taylor expansion of y in y 7.002 * [taylor]: Taking taylor expansion of (* -1/2 (+ (* z (exp (/ 1 x))) (* z (exp (/ -1 x))))) in z 7.002 * [taylor]: Taking taylor expansion of -1/2 in z 7.002 * [taylor]: Taking taylor expansion of (+ (* z (exp (/ 1 x))) (* z (exp (/ -1 x)))) in z 7.002 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 7.002 * [taylor]: Taking taylor expansion of z in z 7.002 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 7.002 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.002 * [taylor]: Taking taylor expansion of x in z 7.002 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 7.002 * [taylor]: Taking taylor expansion of z in z 7.002 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 7.002 * [taylor]: Taking taylor expansion of (/ -1 x) in z 7.002 * [taylor]: Taking taylor expansion of -1 in z 7.002 * [taylor]: Taking taylor expansion of x in z 7.008 * [taylor]: Taking taylor expansion of 0 in y 7.017 * [taylor]: Taking taylor expansion of 0 in z 7.025 * [taylor]: Taking taylor expansion of 0 in y 7.025 * [taylor]: Taking taylor expansion of 0 in z 7.030 * [taylor]: Taking taylor expansion of 0 in z 7.036 * * * [progress]: simplifying candidates 7.038 * [simplify]: Simplifying using # : (expm1 (/ y (* x z))) (log1p (/ y (* x z))) (- (log y) (+ (log x) (log z))) (- (log y) (log (* x z))) (log (/ y (* x z))) (exp (/ y (* x z))) (/ (* (* y y) y) (* (* (* x x) x) (* (* z z) z))) (/ (* (* y y) y) (* (* (* x z) (* x z)) (* x z))) (* (cbrt (/ y (* x z))) (cbrt (/ y (* x z)))) (cbrt (/ y (* x z))) (* (* (/ y (* x z)) (/ y (* x z))) (/ y (* x z))) (sqrt (/ y (* x z))) (sqrt (/ y (* x z))) (- y) (- (* x z)) (/ (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z) (/ (sqrt y) x) (/ (sqrt y) z) (/ 1 x) (/ y z) (/ 1 (* x z)) (/ (* x z) y) (/ y x) (/ (* x z) (cbrt y)) (/ (* x z) (sqrt y)) (/ (* x z) y) (expm1 (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (log1p (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (* (+ (exp x) (exp (- x))) (/ y (* x z))) (+ (log (+ (exp x) (exp (- x)))) (- (log y) (+ (log x) (log z)))) (+ (log (+ (exp x) (exp (- x)))) (- (log y) (log (* x z)))) (+ (log (+ (exp x) (exp (- x)))) (log (/ y (* x z)))) (log (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (exp (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (* (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (* (* y y) y) (* (* (* x x) x) (* (* z z) z)))) (* (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (* (* y y) y) (* (* (* x z) (* x z)) (* x z)))) (* (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* (/ y (* x z)) (/ y (* x z))) (/ y (* x z)))) (* (cbrt (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (cbrt (* (+ (exp x) (exp (- x))) (/ y (* x z))))) (cbrt (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (* (* (* (+ (exp x) (exp (- x))) (/ y (* x z))) (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (sqrt (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (sqrt (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) y) (* (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (* x z)) (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) y) (* (- (exp x) (exp (- x))) (* x z)) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (/ y (* x z)))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (/ y (* x z)))) (* (+ (exp x) (exp (- x))) (* (cbrt (/ y (* x z))) (cbrt (/ y (* x z))))) (* (+ (exp x) (exp (- x))) (sqrt (/ y (* x z)))) (* (+ (exp x) (exp (- x))) (/ (* (cbrt y) (cbrt y)) x)) (* (+ (exp x) (exp (- x))) (/ (sqrt y) x)) (* (+ (exp x) (exp (- x))) (/ 1 x)) (* (+ (exp x) (exp (- x))) 1) (* (+ (exp x) (exp (- x))) y) (* (cbrt (+ (exp x) (exp (- x)))) (/ y (* x z))) (* (sqrt (+ (exp x) (exp (- x)))) (/ y (* x z))) (* (+ (exp x) (exp (- x))) (/ y (* x z))) (* (+ (exp x) (exp (- x))) (/ y (* x z))) (* (+ (exp x) (exp (- x))) y) (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (/ y (* x z))) (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (/ y (* x z))) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (expm1 (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (log1p (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (- (+ (log (+ (exp x) (exp (- x)))) (- (log y) (+ (log x) (log z)))) (log 2)) (- (+ (log (+ (exp x) (exp (- x)))) (- (log y) (log (* x z)))) (log 2)) (- (+ (log (+ (exp x) (exp (- x)))) (log (/ y (* x z)))) (log 2)) (- (log (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (log 2)) (log (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (exp (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (/ (* (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (* (* y y) y) (* (* (* x x) x) (* (* z z) z)))) (* (* 2 2) 2)) (/ (* (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (* (* y y) y) (* (* (* x z) (* x z)) (* x z)))) (* (* 2 2) 2)) (/ (* (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* (/ y (* x z)) (/ y (* x z))) (/ y (* x z)))) (* (* 2 2) 2)) (/ (* (* (* (+ (exp x) (exp (- x))) (/ y (* x z))) (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (* (* 2 2) 2)) (* (cbrt (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (cbrt (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2))) (cbrt (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (* (* (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2) (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (sqrt (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (sqrt (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (- (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (- 2) (/ (+ (exp x) (exp (- x))) (* (cbrt 2) (cbrt 2))) (/ (/ y (* x z)) (cbrt 2)) (/ (+ (exp x) (exp (- x))) (sqrt 2)) (/ (/ y (* x z)) (sqrt 2)) (/ (+ (exp x) (exp (- x))) 1) (/ (/ y (* x z)) 2) (/ 1 2) (/ 2 (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) (* (cbrt 2) (cbrt 2))) (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) (sqrt 2)) (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 1) (/ 2 (/ y (* x z))) (* 2 (* (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (* x z))) (* 2 (* (- (exp x) (exp (- x))) (* x z))) (* 2 (* x z)) (* 2 (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* 2 (- (exp x) (exp (- x)))) (/ y (* x z)) (/ y (* x z)) (/ y (* x z)) (+ (/ (* x y) z) (* 2 (/ y (* x z)))) (/ (* (+ (exp x) (exp (- x))) y) (* x z)) (/ (* y (+ (exp (* -1 x)) (exp x))) (* x z)) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 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)) 7.044 * * [simplify]: iteration 0 : 183 enodes (cost 1682 ) 7.093 * * [simplify]: iteration 1 : 508 enodes (cost 1607 ) 7.359 * * [simplify]: iteration 2 : 2190 enodes (cost 1313 ) 8.237 * * [simplify]: iteration done : 5000 enodes (cost 1313 ) 8.237 * [simplify]: Simplified to: (expm1 (/ y (* x z))) (log1p (/ y (* x z))) (log (/ y (* x z))) (log (/ y (* x z))) (log (/ y (* x z))) (exp (/ y (* x z))) (pow (/ y (* x z)) 3) (pow (/ y (* x z)) 3) (* (cbrt (/ y (* x z))) (cbrt (/ y (* x z)))) (cbrt (/ y (* x z))) (pow (/ y (* x z)) 3) (sqrt (/ y (* x z))) (sqrt (/ y (* x z))) (- y) (- (* x z)) (/ (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z) (/ (sqrt y) x) (/ (sqrt y) z) (/ 1 x) (/ y z) (/ 1 (* x z)) (/ (* x z) y) (/ y x) (/ (* x z) (cbrt y)) (/ (* x z) (sqrt y)) (/ (* x z) y) (expm1 (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (log1p (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (* (+ (exp x) (exp (- x))) (/ y (* x z))) (log (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (log (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (log (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (log (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (exp (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (pow (* (+ (exp x) (exp (- x))) (/ y (* x z))) 3) (pow (* (+ (exp x) (exp (- x))) (/ y (* x z))) 3) (pow (* (+ (exp x) (exp (- x))) (/ y (* x z))) 3) (* (cbrt (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (cbrt (* (+ (exp x) (exp (- x))) (/ y (* x z))))) (cbrt (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (pow (* (+ (exp x) (exp (- x))) (/ y (* x z))) 3) (sqrt (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (sqrt (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) y) (* x (* z (fma (exp x) (exp x) (- (exp (* x -2)) 1)))) (* y (- (exp (+ x x)) (exp (* x -2)))) (* (- (exp x) (exp (- x))) (* x z)) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (/ y (* x z)))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (/ y (* x z)))) (* (+ (exp x) (exp (- x))) (* (cbrt (/ y (* x z))) (cbrt (/ y (* x z))))) (* (+ (exp x) (exp (- x))) (sqrt (/ y (* x z)))) (* (+ (exp x) (exp (- x))) (/ (* (cbrt y) (cbrt y)) x)) (* (+ (exp x) (exp (- x))) (/ (sqrt y) x)) (/ (+ (exp x) (exp (- x))) x) (+ (exp x) (exp (- x))) (* (+ (exp x) (exp (- x))) y) (* (cbrt (+ (exp x) (exp (- x)))) (/ y (* x z))) (* (sqrt (+ (exp x) (exp (- x)))) (/ y (* x z))) (* (+ (exp x) (exp (- x))) (/ y (* x z))) (* (+ (exp x) (exp (- x))) (/ y (* x z))) (* (+ (exp x) (exp (- x))) y) (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (/ y (* x z))) (/ (- (exp (+ x x)) (exp (* x -2))) (/ (* x z) y)) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (pow (+ (exp x) (exp (- x))) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (fma (exp x) (exp x) (- (exp (* x -2)) 1)) (- (exp (+ x x)) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (expm1 (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (log1p (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (log (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (log (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (log (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (log (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (log (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (sqrt (exp (* (+ (exp x) (exp (- x))) (/ y (* x z))))) (pow (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2) 3) (pow (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2) 3) (pow (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2) 3) (pow (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2) 3) (* (cbrt (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (cbrt (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2))) (cbrt (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (pow (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2) 3) (sqrt (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (sqrt (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2)) (- (* (+ (exp x) (exp (- x))) (/ y (* x z)))) -2 (/ (+ (exp x) (exp (- x))) (* (cbrt 2) (cbrt 2))) (/ (/ y (* x z)) (cbrt 2)) (/ (+ (exp x) (exp (- x))) (sqrt 2)) (/ (/ y (* x z)) (sqrt 2)) (+ (exp x) (exp (- x))) (/ (/ y (* x z)) 2) 1/2 (/ 2 (* (+ (exp x) (exp (- x))) (/ y (* x z)))) (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) (* (cbrt 2) (cbrt 2))) (/ (* (+ (exp x) (exp (- x))) (/ y (* x z))) (sqrt 2)) (* (+ (exp x) (exp (- x))) (/ y (* x z))) (/ 2 (/ y (* x z))) (* (* 2 (* x z)) (fma (exp x) (exp x) (- (exp (* x -2)) 1))) (* 2 (* (- (exp x) (exp (- x))) (* x z))) (* 2 (* x z)) (* 2 (fma (exp x) (exp x) (- (exp (* x -2)) 1))) (* 2 (- (exp x) (exp (- x)))) (/ y (* x z)) (/ y (* x z)) (/ y (* x z)) (fma 2 (/ y (* x z)) (/ (* x y) z)) (* (+ (exp x) (exp (- x))) (/ y (* x z))) (* (+ (exp x) (exp (- x))) (/ y (* x z))) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (fma 1/2 (/ (* x y) z) (/ y (* x z))) (/ (* 1/2 (+ (exp (- x)) (exp x))) (/ (* x z) y)) (/ (* 1/2 (+ (exp (- x)) (exp x))) (/ (* x z) y)) 8.238 * * * [progress]: adding candidates to table 8.573 * * [progress]: iteration 4 / 4 8.573 * * * [progress]: picking best candidate 8.595 * * * * [pick]: Picked # 8.595 * * * [progress]: localizing error 8.604 * * * [progress]: generating rewritten candidates 8.605 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 8.608 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 8.636 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 8.637 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 8.641 * * * [progress]: generating series expansions 8.641 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 8.641 * [approximate]: Taking taylor expansion of (/ y (* x z)) in (y x z) around 0 8.641 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 8.641 * [taylor]: Taking taylor expansion of y in z 8.641 * [taylor]: Taking taylor expansion of (* x z) in z 8.641 * [taylor]: Taking taylor expansion of x in z 8.641 * [taylor]: Taking taylor expansion of z in z 8.642 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 8.642 * [taylor]: Taking taylor expansion of y in x 8.642 * [taylor]: Taking taylor expansion of (* x z) in x 8.642 * [taylor]: Taking taylor expansion of x in x 8.642 * [taylor]: Taking taylor expansion of z in x 8.643 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 8.643 * [taylor]: Taking taylor expansion of y in y 8.643 * [taylor]: Taking taylor expansion of (* x z) in y 8.643 * [taylor]: Taking taylor expansion of x in y 8.643 * [taylor]: Taking taylor expansion of z in y 8.643 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 8.643 * [taylor]: Taking taylor expansion of y in y 8.643 * [taylor]: Taking taylor expansion of (* x z) in y 8.643 * [taylor]: Taking taylor expansion of x in y 8.643 * [taylor]: Taking taylor expansion of z in y 8.643 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.643 * [taylor]: Taking taylor expansion of (* x z) in x 8.643 * [taylor]: Taking taylor expansion of x in x 8.643 * [taylor]: Taking taylor expansion of z in x 8.644 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.644 * [taylor]: Taking taylor expansion of z in z 8.644 * [taylor]: Taking taylor expansion of 0 in x 8.645 * [taylor]: Taking taylor expansion of 0 in z 8.646 * [taylor]: Taking taylor expansion of 0 in x 8.646 * [taylor]: Taking taylor expansion of 0 in z 8.647 * [taylor]: Taking taylor expansion of 0 in z 8.649 * [taylor]: Taking taylor expansion of 0 in x 8.649 * [taylor]: Taking taylor expansion of 0 in z 8.649 * [taylor]: Taking taylor expansion of 0 in z 8.650 * [taylor]: Taking taylor expansion of 0 in z 8.650 * [approximate]: Taking taylor expansion of (/ (* x z) y) in (y x z) around 0 8.650 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 8.651 * [taylor]: Taking taylor expansion of (* x z) in z 8.651 * [taylor]: Taking taylor expansion of x in z 8.651 * [taylor]: Taking taylor expansion of z in z 8.651 * [taylor]: Taking taylor expansion of y in z 8.651 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 8.651 * [taylor]: Taking taylor expansion of (* x z) in x 8.651 * [taylor]: Taking taylor expansion of x in x 8.651 * [taylor]: Taking taylor expansion of z in x 8.651 * [taylor]: Taking taylor expansion of y in x 8.652 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 8.652 * [taylor]: Taking taylor expansion of (* x z) in y 8.652 * [taylor]: Taking taylor expansion of x in y 8.652 * [taylor]: Taking taylor expansion of z in y 8.652 * [taylor]: Taking taylor expansion of y in y 8.652 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 8.652 * [taylor]: Taking taylor expansion of (* x z) in y 8.652 * [taylor]: Taking taylor expansion of x in y 8.652 * [taylor]: Taking taylor expansion of z in y 8.652 * [taylor]: Taking taylor expansion of y in y 8.652 * [taylor]: Taking taylor expansion of (* x z) in x 8.652 * [taylor]: Taking taylor expansion of x in x 8.652 * [taylor]: Taking taylor expansion of z in x 8.652 * [taylor]: Taking taylor expansion of z in z 8.653 * [taylor]: Taking taylor expansion of 0 in x 8.653 * [taylor]: Taking taylor expansion of 0 in z 8.654 * [taylor]: Taking taylor expansion of 0 in z 8.655 * [taylor]: Taking taylor expansion of 0 in x 8.655 * [taylor]: Taking taylor expansion of 0 in z 8.655 * [taylor]: Taking taylor expansion of 0 in z 8.656 * [taylor]: Taking taylor expansion of 0 in z 8.657 * [approximate]: Taking taylor expansion of (* -1 (/ (* x z) y)) in (y x z) around 0 8.657 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) y)) in z 8.657 * [taylor]: Taking taylor expansion of -1 in z 8.657 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 8.657 * [taylor]: Taking taylor expansion of (* x z) in z 8.657 * [taylor]: Taking taylor expansion of x in z 8.657 * [taylor]: Taking taylor expansion of z in z 8.657 * [taylor]: Taking taylor expansion of y in z 8.657 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) y)) in x 8.657 * [taylor]: Taking taylor expansion of -1 in x 8.657 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 8.657 * [taylor]: Taking taylor expansion of (* x z) in x 8.657 * [taylor]: Taking taylor expansion of x in x 8.657 * [taylor]: Taking taylor expansion of z in x 8.657 * [taylor]: Taking taylor expansion of y in x 8.658 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) y)) in y 8.658 * [taylor]: Taking taylor expansion of -1 in y 8.658 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 8.658 * [taylor]: Taking taylor expansion of (* x z) in y 8.658 * [taylor]: Taking taylor expansion of x in y 8.658 * [taylor]: Taking taylor expansion of z in y 8.658 * [taylor]: Taking taylor expansion of y in y 8.658 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) y)) in y 8.658 * [taylor]: Taking taylor expansion of -1 in y 8.658 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 8.658 * [taylor]: Taking taylor expansion of (* x z) in y 8.658 * [taylor]: Taking taylor expansion of x in y 8.658 * [taylor]: Taking taylor expansion of z in y 8.658 * [taylor]: Taking taylor expansion of y in y 8.658 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x 8.658 * [taylor]: Taking taylor expansion of -1 in x 8.658 * [taylor]: Taking taylor expansion of (* x z) in x 8.658 * [taylor]: Taking taylor expansion of x in x 8.658 * [taylor]: Taking taylor expansion of z in x 8.659 * [taylor]: Taking taylor expansion of (- z) in z 8.659 * [taylor]: Taking taylor expansion of z in z 8.660 * [taylor]: Taking taylor expansion of 0 in x 8.661 * [taylor]: Taking taylor expansion of 0 in z 8.662 * [taylor]: Taking taylor expansion of 0 in z 8.664 * [taylor]: Taking taylor expansion of 0 in x 8.664 * [taylor]: Taking taylor expansion of 0 in z 8.664 * [taylor]: Taking taylor expansion of 0 in z 8.666 * [taylor]: Taking taylor expansion of 0 in z 8.666 * * * * [progress]: [ 2 / 4 ] generating series at (2) 8.666 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x y z) around 0 8.666 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z 8.666 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 8.666 * [taylor]: Taking taylor expansion of (cosh x) in z 8.667 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.667 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 8.667 * [taylor]: Taking taylor expansion of (exp x) in z 8.667 * [taylor]: Taking taylor expansion of x in z 8.667 * [taylor]: Taking taylor expansion of (exp (- x)) in z 8.667 * [taylor]: Taking taylor expansion of (- x) in z 8.667 * [taylor]: Taking taylor expansion of x in z 8.667 * [taylor]: Taking taylor expansion of 2 in z 8.667 * [taylor]: Taking taylor expansion of y in z 8.667 * [taylor]: Taking taylor expansion of (* x z) in z 8.667 * [taylor]: Taking taylor expansion of x in z 8.667 * [taylor]: Taking taylor expansion of z in z 8.668 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y 8.668 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 8.668 * [taylor]: Taking taylor expansion of (cosh x) in y 8.668 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.668 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 8.668 * [taylor]: Taking taylor expansion of (exp x) in y 8.668 * [taylor]: Taking taylor expansion of x in y 8.668 * [taylor]: Taking taylor expansion of (exp (- x)) in y 8.668 * [taylor]: Taking taylor expansion of (- x) in y 8.668 * [taylor]: Taking taylor expansion of x in y 8.668 * [taylor]: Taking taylor expansion of 2 in y 8.668 * [taylor]: Taking taylor expansion of y in y 8.668 * [taylor]: Taking taylor expansion of (* x z) in y 8.668 * [taylor]: Taking taylor expansion of x in y 8.668 * [taylor]: Taking taylor expansion of z in y 8.672 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 8.672 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 8.672 * [taylor]: Taking taylor expansion of (cosh x) in x 8.672 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.672 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.672 * [taylor]: Taking taylor expansion of (exp x) in x 8.672 * [taylor]: Taking taylor expansion of x in x 8.672 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.672 * [taylor]: Taking taylor expansion of (- x) in x 8.672 * [taylor]: Taking taylor expansion of x in x 8.673 * [taylor]: Taking taylor expansion of 2 in x 8.674 * [taylor]: Taking taylor expansion of y in x 8.674 * [taylor]: Taking taylor expansion of (* x z) in x 8.674 * [taylor]: Taking taylor expansion of x in x 8.674 * [taylor]: Taking taylor expansion of z in x 8.674 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 8.674 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 8.674 * [taylor]: Taking taylor expansion of (cosh x) in x 8.674 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.674 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.674 * [taylor]: Taking taylor expansion of (exp x) in x 8.674 * [taylor]: Taking taylor expansion of x in x 8.674 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.674 * [taylor]: Taking taylor expansion of (- x) in x 8.674 * [taylor]: Taking taylor expansion of x in x 8.675 * [taylor]: Taking taylor expansion of 2 in x 8.676 * [taylor]: Taking taylor expansion of y in x 8.676 * [taylor]: Taking taylor expansion of (* x z) in x 8.676 * [taylor]: Taking taylor expansion of x in x 8.676 * [taylor]: Taking taylor expansion of z in x 8.677 * [taylor]: Taking taylor expansion of (/ y z) in y 8.677 * [taylor]: Taking taylor expansion of y in y 8.677 * [taylor]: Taking taylor expansion of z in y 8.677 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.677 * [taylor]: Taking taylor expansion of z in z 8.680 * [taylor]: Taking taylor expansion of 0 in y 8.681 * [taylor]: Taking taylor expansion of 0 in z 8.681 * [taylor]: Taking taylor expansion of 0 in z 8.686 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in y 8.686 * [taylor]: Taking taylor expansion of 1/2 in y 8.686 * [taylor]: Taking taylor expansion of (/ y z) in y 8.686 * [taylor]: Taking taylor expansion of y in y 8.686 * [taylor]: Taking taylor expansion of z in y 8.686 * [taylor]: Taking taylor expansion of (/ 1/2 z) in z 8.686 * [taylor]: Taking taylor expansion of 1/2 in z 8.686 * [taylor]: Taking taylor expansion of z in z 8.687 * [taylor]: Taking taylor expansion of 0 in z 8.687 * [taylor]: Taking taylor expansion of 0 in z 8.695 * [taylor]: Taking taylor expansion of 0 in y 8.695 * [taylor]: Taking taylor expansion of 0 in z 8.695 * [taylor]: Taking taylor expansion of 0 in z 8.696 * [taylor]: Taking taylor expansion of 0 in z 8.696 * [taylor]: Taking taylor expansion of 0 in z 8.697 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x y z) around 0 8.697 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z 8.697 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z 8.697 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 8.697 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.697 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 8.697 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 8.697 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.697 * [taylor]: Taking taylor expansion of x in z 8.697 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 8.697 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 8.697 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.697 * [taylor]: Taking taylor expansion of x in z 8.697 * [taylor]: Taking taylor expansion of 2 in z 8.698 * [taylor]: Taking taylor expansion of (* x z) in z 8.698 * [taylor]: Taking taylor expansion of x in z 8.698 * [taylor]: Taking taylor expansion of z in z 8.698 * [taylor]: Taking taylor expansion of y in z 8.702 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y 8.702 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y 8.702 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 8.702 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.702 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 8.702 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.702 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.702 * [taylor]: Taking taylor expansion of x in y 8.702 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 8.702 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 8.702 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.702 * [taylor]: Taking taylor expansion of x in y 8.702 * [taylor]: Taking taylor expansion of 2 in y 8.702 * [taylor]: Taking taylor expansion of (* x z) in y 8.702 * [taylor]: Taking taylor expansion of x in y 8.702 * [taylor]: Taking taylor expansion of z in y 8.702 * [taylor]: Taking taylor expansion of y in y 8.703 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 8.703 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 8.703 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 8.703 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.703 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.703 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.703 * [taylor]: Taking taylor expansion of x in x 8.704 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.704 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.704 * [taylor]: Taking taylor expansion of x in x 8.704 * [taylor]: Taking taylor expansion of 2 in x 8.705 * [taylor]: Taking taylor expansion of (* x z) in x 8.705 * [taylor]: Taking taylor expansion of x in x 8.705 * [taylor]: Taking taylor expansion of z in x 8.705 * [taylor]: Taking taylor expansion of y in x 8.707 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 8.707 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 8.707 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 8.707 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.707 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.707 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.707 * [taylor]: Taking taylor expansion of x in x 8.708 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.708 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.708 * [taylor]: Taking taylor expansion of x in x 8.708 * [taylor]: Taking taylor expansion of 2 in x 8.709 * [taylor]: Taking taylor expansion of (* x z) in x 8.709 * [taylor]: Taking taylor expansion of x in x 8.709 * [taylor]: Taking taylor expansion of z in x 8.709 * [taylor]: Taking taylor expansion of y in x 8.711 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in y 8.711 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y 8.711 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in y 8.711 * [taylor]: Taking taylor expansion of 1/2 in y 8.711 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in y 8.711 * [taylor]: Taking taylor expansion of z in y 8.711 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 8.711 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 8.711 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.711 * [taylor]: Taking taylor expansion of x in y 8.711 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 8.711 * [taylor]: Taking taylor expansion of 1/2 in y 8.711 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 8.711 * [taylor]: Taking taylor expansion of z in y 8.711 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.711 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.711 * [taylor]: Taking taylor expansion of x in y 8.712 * [taylor]: Taking taylor expansion of y in y 8.712 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z 8.712 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in z 8.712 * [taylor]: Taking taylor expansion of 1/2 in z 8.712 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 8.712 * [taylor]: Taking taylor expansion of z in z 8.712 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 8.712 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 8.712 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.712 * [taylor]: Taking taylor expansion of x in z 8.712 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 8.712 * [taylor]: Taking taylor expansion of 1/2 in z 8.712 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 8.712 * [taylor]: Taking taylor expansion of z in z 8.712 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 8.712 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.712 * [taylor]: Taking taylor expansion of x in z 8.719 * [taylor]: Taking taylor expansion of 0 in y 8.723 * [taylor]: Taking taylor expansion of 0 in z 8.736 * [taylor]: Taking taylor expansion of 0 in y 8.737 * [taylor]: Taking taylor expansion of 0 in z 8.743 * [taylor]: Taking taylor expansion of 0 in z 8.751 * [approximate]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in (x y z) around 0 8.751 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in z 8.751 * [taylor]: Taking taylor expansion of -1 in z 8.751 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in z 8.751 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in z 8.751 * [taylor]: Taking taylor expansion of x in z 8.751 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z 8.751 * [taylor]: Taking taylor expansion of z in z 8.751 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 8.751 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.752 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 8.752 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 8.752 * [taylor]: Taking taylor expansion of (/ -1 x) in z 8.752 * [taylor]: Taking taylor expansion of -1 in z 8.752 * [taylor]: Taking taylor expansion of x in z 8.752 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 8.752 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 8.752 * [taylor]: Taking taylor expansion of (/ -1 x) in z 8.752 * [taylor]: Taking taylor expansion of -1 in z 8.752 * [taylor]: Taking taylor expansion of x in z 8.752 * [taylor]: Taking taylor expansion of 2 in z 8.752 * [taylor]: Taking taylor expansion of y in z 8.756 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in y 8.756 * [taylor]: Taking taylor expansion of -1 in y 8.756 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in y 8.756 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in y 8.756 * [taylor]: Taking taylor expansion of x in y 8.756 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y 8.756 * [taylor]: Taking taylor expansion of z in y 8.756 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 8.756 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.756 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 8.756 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 8.757 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.757 * [taylor]: Taking taylor expansion of -1 in y 8.757 * [taylor]: Taking taylor expansion of x in y 8.757 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 8.757 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 8.757 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.757 * [taylor]: Taking taylor expansion of -1 in y 8.757 * [taylor]: Taking taylor expansion of x in y 8.757 * [taylor]: Taking taylor expansion of 2 in y 8.757 * [taylor]: Taking taylor expansion of y in y 8.757 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 8.757 * [taylor]: Taking taylor expansion of -1 in x 8.757 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 8.757 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 8.757 * [taylor]: Taking taylor expansion of x in x 8.757 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 8.757 * [taylor]: Taking taylor expansion of z in x 8.757 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 8.758 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.758 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.758 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.758 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.758 * [taylor]: Taking taylor expansion of -1 in x 8.758 * [taylor]: Taking taylor expansion of x in x 8.758 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.758 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.758 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.758 * [taylor]: Taking taylor expansion of -1 in x 8.758 * [taylor]: Taking taylor expansion of x in x 8.759 * [taylor]: Taking taylor expansion of 2 in x 8.759 * [taylor]: Taking taylor expansion of y in x 8.761 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 8.761 * [taylor]: Taking taylor expansion of -1 in x 8.761 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 8.762 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 8.762 * [taylor]: Taking taylor expansion of x in x 8.762 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 8.762 * [taylor]: Taking taylor expansion of z in x 8.762 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 8.762 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.762 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.762 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.762 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.762 * [taylor]: Taking taylor expansion of -1 in x 8.762 * [taylor]: Taking taylor expansion of x in x 8.762 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.762 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.762 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.762 * [taylor]: Taking taylor expansion of -1 in x 8.762 * [taylor]: Taking taylor expansion of x in x 8.763 * [taylor]: Taking taylor expansion of 2 in x 8.763 * [taylor]: Taking taylor expansion of y in x 8.766 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in y 8.766 * [taylor]: Taking taylor expansion of -1 in y 8.766 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in y 8.766 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y 8.766 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 8.766 * [taylor]: Taking taylor expansion of 1/2 in y 8.766 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 8.766 * [taylor]: Taking taylor expansion of z in y 8.766 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 8.766 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.766 * [taylor]: Taking taylor expansion of x in y 8.766 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y 8.766 * [taylor]: Taking taylor expansion of 1/2 in y 8.766 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y 8.766 * [taylor]: Taking taylor expansion of z in y 8.766 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 8.766 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.766 * [taylor]: Taking taylor expansion of -1 in y 8.766 * [taylor]: Taking taylor expansion of x in y 8.766 * [taylor]: Taking taylor expansion of y in y 8.767 * [taylor]: Taking taylor expansion of (* -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z 8.767 * [taylor]: Taking taylor expansion of -1 in z 8.767 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z 8.767 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 8.767 * [taylor]: Taking taylor expansion of 1/2 in z 8.767 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 8.767 * [taylor]: Taking taylor expansion of z in z 8.767 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 8.767 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.767 * [taylor]: Taking taylor expansion of x in z 8.767 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z 8.767 * [taylor]: Taking taylor expansion of 1/2 in z 8.767 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 8.767 * [taylor]: Taking taylor expansion of z in z 8.767 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 8.767 * [taylor]: Taking taylor expansion of (/ -1 x) in z 8.767 * [taylor]: Taking taylor expansion of -1 in z 8.767 * [taylor]: Taking taylor expansion of x in z 8.775 * [taylor]: Taking taylor expansion of 0 in y 8.779 * [taylor]: Taking taylor expansion of 0 in z 8.790 * [taylor]: Taking taylor expansion of 0 in y 8.790 * [taylor]: Taking taylor expansion of 0 in z 8.797 * [taylor]: Taking taylor expansion of 0 in z 8.805 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 8.805 * [approximate]: Taking taylor expansion of (sqrt (cosh x)) in (x) around 0 8.805 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in x 8.805 * [taylor]: Taking taylor expansion of (cosh x) in x 8.805 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.805 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.805 * [taylor]: Taking taylor expansion of (exp x) in x 8.805 * [taylor]: Taking taylor expansion of x in x 8.805 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.805 * [taylor]: Taking taylor expansion of (- x) in x 8.805 * [taylor]: Taking taylor expansion of x in x 8.806 * [taylor]: Taking taylor expansion of 2 in x 8.810 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in x 8.810 * [taylor]: Taking taylor expansion of (cosh x) in x 8.810 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.810 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.810 * [taylor]: Taking taylor expansion of (exp x) in x 8.810 * [taylor]: Taking taylor expansion of x in x 8.810 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.810 * [taylor]: Taking taylor expansion of (- x) in x 8.810 * [taylor]: Taking taylor expansion of x in x 8.811 * [taylor]: Taking taylor expansion of 2 in x 8.838 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in (x) around 0 8.838 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in x 8.838 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 8.838 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.838 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.838 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.838 * [taylor]: Taking taylor expansion of x in x 8.839 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.839 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.839 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.839 * [taylor]: Taking taylor expansion of x in x 8.839 * [taylor]: Taking taylor expansion of 2 in x 8.841 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in x 8.841 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 8.841 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.841 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.841 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.841 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.841 * [taylor]: Taking taylor expansion of x in x 8.842 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.842 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.842 * [taylor]: Taking taylor expansion of x in x 8.843 * [taylor]: Taking taylor expansion of 2 in x 8.861 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in (x) around 0 8.861 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in x 8.861 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 8.861 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.861 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.861 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.861 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.861 * [taylor]: Taking taylor expansion of -1 in x 8.861 * [taylor]: Taking taylor expansion of x in x 8.861 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.861 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.862 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.862 * [taylor]: Taking taylor expansion of -1 in x 8.862 * [taylor]: Taking taylor expansion of x in x 8.862 * [taylor]: Taking taylor expansion of 2 in x 8.864 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in x 8.864 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 8.864 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.864 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.864 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.864 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.864 * [taylor]: Taking taylor expansion of -1 in x 8.864 * [taylor]: Taking taylor expansion of x in x 8.864 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.865 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.865 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.865 * [taylor]: Taking taylor expansion of -1 in x 8.865 * [taylor]: Taking taylor expansion of x in x 8.865 * [taylor]: Taking taylor expansion of 2 in x 8.883 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 8.883 * [approximate]: Taking taylor expansion of (sqrt (cosh x)) in (x) around 0 8.883 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in x 8.883 * [taylor]: Taking taylor expansion of (cosh x) in x 8.883 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.883 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.883 * [taylor]: Taking taylor expansion of (exp x) in x 8.883 * [taylor]: Taking taylor expansion of x in x 8.883 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.883 * [taylor]: Taking taylor expansion of (- x) in x 8.883 * [taylor]: Taking taylor expansion of x in x 8.884 * [taylor]: Taking taylor expansion of 2 in x 8.888 * [taylor]: Taking taylor expansion of (sqrt (cosh x)) in x 8.888 * [taylor]: Taking taylor expansion of (cosh x) in x 8.889 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 8.889 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.889 * [taylor]: Taking taylor expansion of (exp x) in x 8.889 * [taylor]: Taking taylor expansion of x in x 8.889 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.889 * [taylor]: Taking taylor expansion of (- x) in x 8.889 * [taylor]: Taking taylor expansion of x in x 8.889 * [taylor]: Taking taylor expansion of 2 in x 8.913 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in (x) around 0 8.913 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in x 8.913 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 8.913 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.913 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.913 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.913 * [taylor]: Taking taylor expansion of x in x 8.914 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.914 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.914 * [taylor]: Taking taylor expansion of x in x 8.915 * [taylor]: Taking taylor expansion of 2 in x 8.916 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ 1 x))) in x 8.917 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 8.917 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 8.917 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.917 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.917 * [taylor]: Taking taylor expansion of x in x 8.917 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.917 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.917 * [taylor]: Taking taylor expansion of x in x 8.918 * [taylor]: Taking taylor expansion of 2 in x 8.941 * [approximate]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in (x) around 0 8.941 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in x 8.941 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 8.941 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.941 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.941 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.941 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.941 * [taylor]: Taking taylor expansion of -1 in x 8.941 * [taylor]: Taking taylor expansion of x in x 8.942 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.942 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.942 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.942 * [taylor]: Taking taylor expansion of -1 in x 8.942 * [taylor]: Taking taylor expansion of x in x 8.943 * [taylor]: Taking taylor expansion of 2 in x 8.944 * [taylor]: Taking taylor expansion of (sqrt (cosh (/ -1 x))) in x 8.944 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 8.944 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 8.944 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.944 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.944 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.944 * [taylor]: Taking taylor expansion of -1 in x 8.944 * [taylor]: Taking taylor expansion of x in x 8.945 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.945 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.945 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.945 * [taylor]: Taking taylor expansion of -1 in x 8.945 * [taylor]: Taking taylor expansion of x in x 8.946 * [taylor]: Taking taylor expansion of 2 in x 8.963 * * * [progress]: simplifying candidates 8.964 * [simplify]: Simplifying using # : (expm1 (/ y (* x z))) (log1p (/ y (* x z))) (- (log y) (+ (log x) (log z))) (- (log y) (log (* x z))) (log (/ y (* x z))) (exp (/ y (* x z))) (/ (* (* y y) y) (* (* (* x x) x) (* (* z z) z))) (/ (* (* y y) y) (* (* (* x z) (* x z)) (* x z))) (* (cbrt (/ y (* x z))) (cbrt (/ y (* x z)))) (cbrt (/ y (* x z))) (* (* (/ y (* x z)) (/ y (* x z))) (/ y (* x z))) (sqrt (/ y (* x z))) (sqrt (/ y (* x z))) (- y) (- (* x z)) (/ (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z) (/ (sqrt y) x) (/ (sqrt y) z) (/ 1 x) (/ y z) (/ 1 (* x z)) (/ (* x z) y) (/ y x) (/ (* x z) (cbrt y)) (/ (* x z) (sqrt y)) (/ (* x z) y) (expm1 (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z))))) (log1p (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z))))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z)))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z)))) (+ (log (sqrt (cosh x))) (+ (log (sqrt (cosh x))) (- (log y) (+ (log x) (log z))))) (+ (log (sqrt (cosh x))) (+ (log (sqrt (cosh x))) (- (log y) (log (* x z))))) (+ (log (sqrt (cosh x))) (+ (log (sqrt (cosh x))) (log (/ y (* x z))))) (+ (log (sqrt (cosh x))) (log (* (sqrt (cosh x)) (/ y (* x z))))) (log (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z))))) (exp (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z))))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (/ (* (* y y) y) (* (* (* x x) x) (* (* z z) z))))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (/ (* (* y y) y) (* (* (* x z) (* x z)) (* x z))))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (/ y (* x z)) (/ y (* x z))) (/ y (* x z))))) (* (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (* (* (* (sqrt (cosh x)) (/ y (* x z))) (* (sqrt (cosh x)) (/ y (* x z)))) (* (sqrt (cosh x)) (/ y (* x z))))) (* (cbrt (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z))))) (cbrt (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z)))))) (cbrt (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z))))) (* (* (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z)))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z))))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z))))) (sqrt (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z))))) (sqrt (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z))))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (+ (exp x) (exp (- x)))) y)) (* (sqrt 2) (* (sqrt 2) (* x z))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) y)) (* (sqrt 2) (* x z)) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (+ (exp x) (exp (- x)))) (/ y (* x z)))) (* (sqrt 2) (sqrt 2)) (* (sqrt (cosh x)) (sqrt (cosh x))) (* (cbrt (sqrt (cosh x))) (* (sqrt (cosh x)) (/ y (* x z)))) (* (sqrt (cbrt (cosh x))) (* (sqrt (cosh x)) (/ y (* x z)))) (* (sqrt (sqrt (cosh x))) (* (sqrt (cosh x)) (/ y (* x z)))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z)))) (* (sqrt (sqrt (cosh x))) (* (sqrt (cosh x)) (/ y (* x z)))) (* (sqrt (cosh x)) (* (sqrt (cosh x)) (/ y (* x z)))) (* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) y)) (* (sqrt (cosh x)) (* (sqrt (cosh x)) y)) (* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) (/ y (* x z)))) (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (cosh x)) (/ y (* x z)))) (expm1 (sqrt (cosh x))) (log1p (sqrt (cosh x))) (log (sqrt (cosh x))) (exp (sqrt (cosh x))) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (cbrt (sqrt (cosh x))) (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (sqrt (cbrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt 1) (sqrt (cosh x)) (sqrt (+ (exp x) (exp (- x)))) (sqrt 2) (/ 1 2) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (expm1 (sqrt (cosh x))) (log1p (sqrt (cosh x))) (log (sqrt (cosh x))) (exp (sqrt (cosh x))) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (cbrt (sqrt (cosh x))) (* (* (sqrt (cosh x)) (sqrt (cosh x))) (sqrt (cosh x))) (sqrt (* (cbrt (cosh x)) (cbrt (cosh x)))) (sqrt (cbrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt 1) (sqrt (cosh x)) (sqrt (+ (exp x) (exp (- x)))) (sqrt 2) (/ 1 2) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (/ y (* x z)) (/ y (* x z)) (/ y (* x z)) (+ (* 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/4 (pow x 2)) 1) (* 1/96 (pow x 4))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 1/2)) (* (sqrt 1/2) (sqrt (+ (exp (* -1 x)) (exp x)))) (- (+ (* 1/4 (pow x 2)) 1) (* 1/96 (pow x 4))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 1/2)) (* (sqrt 1/2) (sqrt (+ (exp (* -1 x)) (exp x)))) 8.969 * * [simplify]: iteration 0 : 149 enodes (cost 1121 ) 8.996 * * [simplify]: iteration 1 : 365 enodes (cost 916 ) 9.109 * * [simplify]: iteration 2 : 1178 enodes (cost 766 ) 9.946 * * [simplify]: iteration done : 5000 enodes (cost 766 ) 9.947 * [simplify]: Simplified to: (expm1 (/ y (* x z))) (log1p (/ y (* x z))) (log (/ y (* x z))) (log (/ y (* x z))) (log (/ y (* x z))) (exp (/ y (* x z))) (pow (/ y (* x z)) 3) (pow (/ y (* x z)) 3) (* (cbrt (/ y (* x z))) (cbrt (/ y (* x z)))) (cbrt (/ y (* x z))) (pow (/ y (* x z)) 3) (sqrt (/ y (* x z))) (sqrt (/ y (* x z))) (- y) (- (* x z)) (/ (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z) (/ (sqrt y) x) (/ (sqrt y) z) (/ 1 x) (/ y z) (/ 1 (* x z)) (/ (* x z) y) (/ y x) (/ (* x z) (cbrt y)) (/ (* x z) (sqrt y)) (/ (* x z) y) (expm1 (* (cosh x) (/ y (* x z)))) (log1p (* (cosh x) (/ y (* x z)))) (* (cosh x) (/ y (* x z))) (* (cosh x) (/ y (* x z))) (log (* (cosh x) (/ y (* x z)))) (log (* (cosh x) (/ y (* x z)))) (log (* (cosh x) (/ y (* x z)))) (log (* (cosh x) (/ y (* x z)))) (log (* (cosh x) (/ y (* x z)))) (exp (* (cosh x) (/ y (* x z)))) (pow (* (cosh x) (/ y (* x z))) 3) (pow (* (cosh x) (/ y (* x z))) 3) (pow (* (cosh x) (/ y (* x z))) 3) (pow (* (cosh x) (/ y (* x z))) 3) (* (cbrt (* (cosh x) (/ y (* x z)))) (cbrt (* (cosh x) (/ y (* x z))))) (cbrt (* (cosh x) (/ y (* x z)))) (pow (* (cosh x) (/ y (* x z))) 3) (sqrt (* (cosh x) (/ y (* x z)))) (sqrt (* (cosh x) (/ y (* x z)))) (* (+ (exp x) (exp (- x))) y) (* 2 (* z x)) (* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) y)) (* (sqrt 2) (* x z)) (* (+ (exp x) (exp (- x))) (/ y (* x z))) 2 (cosh x) (* (cbrt (sqrt (cosh x))) (* (sqrt (cosh x)) (/ y (* x z)))) (* (sqrt (cbrt (cosh x))) (* (sqrt (cosh x)) (/ y (* x z)))) (* (sqrt (sqrt (cosh x))) (* (sqrt (cosh x)) (/ y (* x z)))) (* (cosh x) (/ y (* x z))) (* (sqrt (sqrt (cosh x))) (* (sqrt (cosh x)) (/ y (* x z)))) (* (cosh x) (/ y (* x z))) (* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) y)) (* (cosh x) y) (* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) (/ y (* x z)))) (* (sqrt (cosh x)) (* (sqrt (+ (exp x) (exp (- x)))) (/ y (* x z)))) (expm1 (sqrt (cosh x))) (log1p (sqrt (cosh x))) (log (sqrt (cosh x))) (exp (sqrt (cosh x))) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (cbrt (sqrt (cosh x))) (pow (sqrt (cosh x)) 3) (fabs (cbrt (cosh x))) (sqrt (cbrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) 1 (sqrt (cosh x)) (sqrt (+ (exp x) (exp (- x)))) (sqrt 2) 1/2 (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (expm1 (sqrt (cosh x))) (log1p (sqrt (cosh x))) (log (sqrt (cosh x))) (exp (sqrt (cosh x))) (* (cbrt (sqrt (cosh x))) (cbrt (sqrt (cosh x)))) (cbrt (sqrt (cosh x))) (pow (sqrt (cosh x)) 3) (fabs (cbrt (cosh x))) (sqrt (cbrt (cosh x))) (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) 1 (sqrt (cosh x)) (sqrt (+ (exp x) (exp (- x)))) (sqrt 2) 1/2 (sqrt (sqrt (cosh x))) (sqrt (sqrt (cosh x))) (/ y (* x z)) (/ y (* x z)) (/ y (* x z)) (fma 1/2 (/ (* x y) z) (/ y (* x z))) (/ (* 1/2 (+ (exp x) (exp (- x)))) (/ (* x z) y)) (/ (* 1/2 (+ (exp x) (exp (- x)))) (/ (* x z) y)) (- (fma 1/4 (pow x 2) 1) (* 1/96 (pow x 4))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 1/2)) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 1/2)) (- (fma 1/4 (pow x 2) 1) (* 1/96 (pow x 4))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 1/2)) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt 1/2)) 9.948 * * * [progress]: adding candidates to table 10.221 * [progress]: [Phase 3 of 3] Extracting. 10.221 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 10.223 * * * [regime-changes]: Trying 4 branch expressions: ((* (cosh x) (/ y x)) z y x) 10.223 * * * * [regimes]: Trying to branch on (* (cosh x) (/ y x)) from (# # # # # # # # #) 10.279 * * * * [regimes]: Trying to branch on z from (# # # # # # # # #) 10.329 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 10.381 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 10.419 * * * [regime]: Found split indices: #