14.470 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.040 * [progress]: [Phase 2 of 3] Improving. 0.040 * [simplify]: Simplifying using # : (/ (* (cosh x) (/ y x)) z) 0.041 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.042 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.044 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 0.049 * * [simplify]: iteration 3 : 99 enodes (cost 8 ) 0.069 * * [simplify]: iteration 4 : 219 enodes (cost 8 ) 0.120 * * [simplify]: iteration 5 : 375 enodes (cost 8 ) 0.241 * * [simplify]: iteration 6 : 626 enodes (cost 8 ) 0.669 * * [simplify]: iteration 7 : 1477 enodes (cost 8 ) 2.612 * * [simplify]: iteration 8 : 3595 enodes (cost 8 ) 3.622 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 3.622 * [simplify]: Simplified to: (/ (* (cosh x) (/ y x)) z) 3.622 * * [progress]: iteration 1 / 4 3.622 * * * [progress]: picking best candidate 3.624 * * * * [pick]: Picked # 3.624 * * * [progress]: localizing error 3.631 * * * [progress]: generating rewritten candidates 3.631 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.637 * * * [progress]: generating series expansions 3.637 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.637 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x y z) around 0 3.637 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z 3.637 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 3.637 * [taylor]: Taking taylor expansion of (cosh x) in z 3.637 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.637 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 3.637 * [taylor]: Taking taylor expansion of (exp x) in z 3.637 * [taylor]: Taking taylor expansion of x in z 3.637 * [taylor]: Taking taylor expansion of (exp (- x)) in z 3.637 * [taylor]: Taking taylor expansion of (- x) in z 3.637 * [taylor]: Taking taylor expansion of x in z 3.637 * [taylor]: Taking taylor expansion of 2 in z 3.637 * [taylor]: Taking taylor expansion of y in z 3.637 * [taylor]: Taking taylor expansion of (* x z) in z 3.637 * [taylor]: Taking taylor expansion of x in z 3.637 * [taylor]: Taking taylor expansion of z in z 3.638 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y 3.638 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 3.638 * [taylor]: Taking taylor expansion of (cosh x) in y 3.638 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.638 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 3.638 * [taylor]: Taking taylor expansion of (exp x) in y 3.638 * [taylor]: Taking taylor expansion of x in y 3.638 * [taylor]: Taking taylor expansion of (exp (- x)) in y 3.638 * [taylor]: Taking taylor expansion of (- x) in y 3.638 * [taylor]: Taking taylor expansion of x in y 3.638 * [taylor]: Taking taylor expansion of 2 in y 3.638 * [taylor]: Taking taylor expansion of y in y 3.638 * [taylor]: Taking taylor expansion of (* x z) in y 3.638 * [taylor]: Taking taylor expansion of x in y 3.638 * [taylor]: Taking taylor expansion of z in y 3.641 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 3.641 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 3.641 * [taylor]: Taking taylor expansion of (cosh x) in x 3.641 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.641 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 3.641 * [taylor]: Taking taylor expansion of (exp x) in x 3.641 * [taylor]: Taking taylor expansion of x in x 3.641 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.641 * [taylor]: Taking taylor expansion of (- x) in x 3.641 * [taylor]: Taking taylor expansion of x in x 3.641 * [taylor]: Taking taylor expansion of 2 in x 3.642 * [taylor]: Taking taylor expansion of y in x 3.642 * [taylor]: Taking taylor expansion of (* x z) in x 3.642 * [taylor]: Taking taylor expansion of x in x 3.642 * [taylor]: Taking taylor expansion of z in x 3.642 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 3.642 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 3.642 * [taylor]: Taking taylor expansion of (cosh x) in x 3.642 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 3.642 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 3.642 * [taylor]: Taking taylor expansion of (exp x) in x 3.642 * [taylor]: Taking taylor expansion of x in x 3.642 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.642 * [taylor]: Taking taylor expansion of (- x) in x 3.643 * [taylor]: Taking taylor expansion of x in x 3.643 * [taylor]: Taking taylor expansion of 2 in x 3.643 * [taylor]: Taking taylor expansion of y in x 3.643 * [taylor]: Taking taylor expansion of (* x z) in x 3.643 * [taylor]: Taking taylor expansion of x in x 3.643 * [taylor]: Taking taylor expansion of z in x 3.644 * [taylor]: Taking taylor expansion of (/ y z) in y 3.644 * [taylor]: Taking taylor expansion of y in y 3.644 * [taylor]: Taking taylor expansion of z in y 3.644 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.644 * [taylor]: Taking taylor expansion of z in z 3.647 * [taylor]: Taking taylor expansion of 0 in y 3.647 * [taylor]: Taking taylor expansion of 0 in z 3.647 * [taylor]: Taking taylor expansion of 0 in z 3.652 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in y 3.652 * [taylor]: Taking taylor expansion of 1/2 in y 3.652 * [taylor]: Taking taylor expansion of (/ y z) in y 3.652 * [taylor]: Taking taylor expansion of y in y 3.652 * [taylor]: Taking taylor expansion of z in y 3.652 * [taylor]: Taking taylor expansion of (/ 1/2 z) in z 3.652 * [taylor]: Taking taylor expansion of 1/2 in z 3.652 * [taylor]: Taking taylor expansion of z in z 3.652 * [taylor]: Taking taylor expansion of 0 in z 3.652 * [taylor]: Taking taylor expansion of 0 in z 3.659 * [taylor]: Taking taylor expansion of 0 in y 3.659 * [taylor]: Taking taylor expansion of 0 in z 3.659 * [taylor]: Taking taylor expansion of 0 in z 3.659 * [taylor]: Taking taylor expansion of 0 in z 3.660 * [taylor]: Taking taylor expansion of 0 in z 3.660 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x y z) around 0 3.660 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z 3.660 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z 3.660 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 3.661 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.661 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 3.661 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 3.661 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.661 * [taylor]: Taking taylor expansion of x in z 3.661 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 3.661 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 3.661 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.661 * [taylor]: Taking taylor expansion of x in z 3.661 * [taylor]: Taking taylor expansion of 2 in z 3.661 * [taylor]: Taking taylor expansion of (* x z) in z 3.661 * [taylor]: Taking taylor expansion of x in z 3.661 * [taylor]: Taking taylor expansion of z in z 3.661 * [taylor]: Taking taylor expansion of y in z 3.664 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y 3.664 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y 3.664 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 3.664 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.664 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 3.664 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.664 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.664 * [taylor]: Taking taylor expansion of x in y 3.664 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 3.664 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 3.664 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.664 * [taylor]: Taking taylor expansion of x in y 3.664 * [taylor]: Taking taylor expansion of 2 in y 3.665 * [taylor]: Taking taylor expansion of (* x z) in y 3.665 * [taylor]: Taking taylor expansion of x in y 3.665 * [taylor]: Taking taylor expansion of z in y 3.665 * [taylor]: Taking taylor expansion of y in y 3.665 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 3.665 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 3.665 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 3.665 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.665 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 3.665 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.665 * [taylor]: Taking taylor expansion of x in x 3.665 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 3.665 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.665 * [taylor]: Taking taylor expansion of x in x 3.666 * [taylor]: Taking taylor expansion of 2 in x 3.666 * [taylor]: Taking taylor expansion of (* x z) in x 3.666 * [taylor]: Taking taylor expansion of x in x 3.666 * [taylor]: Taking taylor expansion of z in x 3.666 * [taylor]: Taking taylor expansion of y in x 3.668 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 3.668 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 3.668 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 3.668 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 3.668 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 3.668 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.668 * [taylor]: Taking taylor expansion of x in x 3.668 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 3.668 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.668 * [taylor]: Taking taylor expansion of x in x 3.669 * [taylor]: Taking taylor expansion of 2 in x 3.669 * [taylor]: Taking taylor expansion of (* x z) in x 3.669 * [taylor]: Taking taylor expansion of x in x 3.669 * [taylor]: Taking taylor expansion of z in x 3.669 * [taylor]: Taking taylor expansion of y in x 3.671 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in y 3.671 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in y 3.671 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in y 3.671 * [taylor]: Taking taylor expansion of 1/2 in y 3.671 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in y 3.671 * [taylor]: Taking taylor expansion of z in y 3.671 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 3.671 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 3.671 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.671 * [taylor]: Taking taylor expansion of x in y 3.671 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 3.671 * [taylor]: Taking taylor expansion of 1/2 in y 3.671 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 3.671 * [taylor]: Taking taylor expansion of z in y 3.671 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.671 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.671 * [taylor]: Taking taylor expansion of x in y 3.671 * [taylor]: Taking taylor expansion of y in y 3.672 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z 3.672 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in z 3.672 * [taylor]: Taking taylor expansion of 1/2 in z 3.672 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 3.672 * [taylor]: Taking taylor expansion of z in z 3.672 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 3.672 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 3.672 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.672 * [taylor]: Taking taylor expansion of x in z 3.672 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 3.672 * [taylor]: Taking taylor expansion of 1/2 in z 3.672 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 3.672 * [taylor]: Taking taylor expansion of z in z 3.672 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 3.672 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.672 * [taylor]: Taking taylor expansion of x in z 3.678 * [taylor]: Taking taylor expansion of 0 in y 3.681 * [taylor]: Taking taylor expansion of 0 in z 3.688 * [taylor]: Taking taylor expansion of 0 in y 3.688 * [taylor]: Taking taylor expansion of 0 in z 3.696 * [taylor]: Taking taylor expansion of 0 in z 3.702 * [approximate]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in (x y z) around 0 3.702 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in z 3.703 * [taylor]: Taking taylor expansion of -1 in z 3.703 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in z 3.703 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in z 3.703 * [taylor]: Taking taylor expansion of x in z 3.703 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z 3.703 * [taylor]: Taking taylor expansion of z in z 3.703 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 3.703 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.703 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 3.703 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 3.703 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.703 * [taylor]: Taking taylor expansion of -1 in z 3.703 * [taylor]: Taking taylor expansion of x in z 3.703 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 3.703 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 3.703 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.703 * [taylor]: Taking taylor expansion of -1 in z 3.703 * [taylor]: Taking taylor expansion of x in z 3.703 * [taylor]: Taking taylor expansion of 2 in z 3.703 * [taylor]: Taking taylor expansion of y in z 3.706 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in y 3.706 * [taylor]: Taking taylor expansion of -1 in y 3.706 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in y 3.706 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in y 3.706 * [taylor]: Taking taylor expansion of x in y 3.706 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y 3.706 * [taylor]: Taking taylor expansion of z in y 3.706 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 3.706 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.706 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 3.706 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 3.706 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.707 * [taylor]: Taking taylor expansion of -1 in y 3.707 * [taylor]: Taking taylor expansion of x in y 3.707 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 3.707 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 3.707 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.707 * [taylor]: Taking taylor expansion of -1 in y 3.707 * [taylor]: Taking taylor expansion of x in y 3.707 * [taylor]: Taking taylor expansion of 2 in y 3.707 * [taylor]: Taking taylor expansion of y in y 3.707 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 3.707 * [taylor]: Taking taylor expansion of -1 in x 3.707 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 3.707 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 3.707 * [taylor]: Taking taylor expansion of x in x 3.707 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 3.707 * [taylor]: Taking taylor expansion of z in x 3.707 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 3.707 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.707 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 3.707 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.708 * [taylor]: Taking taylor expansion of -1 in x 3.708 * [taylor]: Taking taylor expansion of x in x 3.708 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 3.708 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 3.708 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.708 * [taylor]: Taking taylor expansion of -1 in x 3.708 * [taylor]: Taking taylor expansion of x in x 3.708 * [taylor]: Taking taylor expansion of 2 in x 3.709 * [taylor]: Taking taylor expansion of y in x 3.710 * [taylor]: Taking taylor expansion of (* -1 (/ (* x (* z (cosh (/ -1 x)))) y)) in x 3.710 * [taylor]: Taking taylor expansion of -1 in x 3.710 * [taylor]: Taking taylor expansion of (/ (* x (* z (cosh (/ -1 x)))) y) in x 3.710 * [taylor]: Taking taylor expansion of (* x (* z (cosh (/ -1 x)))) in x 3.710 * [taylor]: Taking taylor expansion of x in x 3.710 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 3.710 * [taylor]: Taking taylor expansion of z in x 3.710 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 3.711 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 3.711 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 3.711 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.711 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.711 * [taylor]: Taking taylor expansion of -1 in x 3.711 * [taylor]: Taking taylor expansion of x in x 3.711 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 3.711 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 3.711 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.711 * [taylor]: Taking taylor expansion of -1 in x 3.711 * [taylor]: Taking taylor expansion of x in x 3.712 * [taylor]: Taking taylor expansion of 2 in x 3.712 * [taylor]: Taking taylor expansion of y in x 3.714 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in y 3.714 * [taylor]: Taking taylor expansion of -1 in y 3.714 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in y 3.714 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in y 3.714 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in y 3.714 * [taylor]: Taking taylor expansion of 1/2 in y 3.714 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in y 3.714 * [taylor]: Taking taylor expansion of z in y 3.714 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 3.714 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.714 * [taylor]: Taking taylor expansion of x in y 3.714 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in y 3.714 * [taylor]: Taking taylor expansion of 1/2 in y 3.714 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in y 3.714 * [taylor]: Taking taylor expansion of z in y 3.714 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 3.714 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.714 * [taylor]: Taking taylor expansion of -1 in y 3.714 * [taylor]: Taking taylor expansion of x in y 3.714 * [taylor]: Taking taylor expansion of y in y 3.715 * [taylor]: Taking taylor expansion of (* -1 (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x)))))) in z 3.715 * [taylor]: Taking taylor expansion of -1 in z 3.715 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z 3.715 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 3.715 * [taylor]: Taking taylor expansion of 1/2 in z 3.715 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 3.715 * [taylor]: Taking taylor expansion of z in z 3.715 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 3.715 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.715 * [taylor]: Taking taylor expansion of x in z 3.715 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z 3.715 * [taylor]: Taking taylor expansion of 1/2 in z 3.715 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 3.715 * [taylor]: Taking taylor expansion of z in z 3.715 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 3.715 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.715 * [taylor]: Taking taylor expansion of -1 in z 3.715 * [taylor]: Taking taylor expansion of x in z 3.721 * [taylor]: Taking taylor expansion of 0 in y 3.724 * [taylor]: Taking taylor expansion of 0 in z 3.733 * [taylor]: Taking taylor expansion of 0 in y 3.733 * [taylor]: Taking taylor expansion of 0 in z 3.737 * [taylor]: Taking taylor expansion of 0 in z 3.743 * * * [progress]: simplifying candidates 3.744 * [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) (+ (* 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)) 3.746 * * [simplify]: iteration 0 : 91 enodes (cost 364 ) 3.761 * * [simplify]: iteration 1 : 241 enodes (cost 348 ) 3.824 * * [simplify]: iteration 2 : 868 enodes (cost 284 ) 5.034 * * [simplify]: iteration 3 : 4931 enodes (cost 284 ) 5.855 * * [simplify]: iteration done : 5000 enodes (cost 284 ) 5.855 * [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 y) x) (* z (* 2 x)) (* x z) (* z 2) (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)) 5.856 * * * [progress]: adding candidates to table 5.924 * * [progress]: iteration 2 / 4 5.924 * * * [progress]: picking best candidate 5.935 * * * * [pick]: Picked # 5.935 * * * [progress]: localizing error 5.941 * * * [progress]: generating rewritten candidates 5.941 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 5.951 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.958 * * * [progress]: generating series expansions 5.958 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 5.958 * [approximate]: Taking taylor expansion of (/ (* x z) y) in (z y x) around 0 5.958 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 5.958 * [taylor]: Taking taylor expansion of (* x z) in x 5.958 * [taylor]: Taking taylor expansion of x in x 5.958 * [taylor]: Taking taylor expansion of z in x 5.958 * [taylor]: Taking taylor expansion of y in x 5.959 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 5.959 * [taylor]: Taking taylor expansion of (* x z) in y 5.959 * [taylor]: Taking taylor expansion of x in y 5.959 * [taylor]: Taking taylor expansion of z in y 5.959 * [taylor]: Taking taylor expansion of y in y 5.959 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 5.959 * [taylor]: Taking taylor expansion of (* x z) in z 5.959 * [taylor]: Taking taylor expansion of x in z 5.959 * [taylor]: Taking taylor expansion of z in z 5.959 * [taylor]: Taking taylor expansion of y in z 5.959 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 5.959 * [taylor]: Taking taylor expansion of (* x z) in z 5.959 * [taylor]: Taking taylor expansion of x in z 5.959 * [taylor]: Taking taylor expansion of z in z 5.959 * [taylor]: Taking taylor expansion of y in z 5.960 * [taylor]: Taking taylor expansion of (/ x y) in y 5.960 * [taylor]: Taking taylor expansion of x in y 5.960 * [taylor]: Taking taylor expansion of y in y 5.960 * [taylor]: Taking taylor expansion of x in x 5.960 * [taylor]: Taking taylor expansion of 0 in y 5.961 * [taylor]: Taking taylor expansion of 0 in x 5.961 * [taylor]: Taking taylor expansion of 0 in y 5.961 * [taylor]: Taking taylor expansion of 0 in x 5.962 * [taylor]: Taking taylor expansion of 0 in x 5.962 * [approximate]: Taking taylor expansion of (/ y (* x z)) in (z y x) around 0 5.962 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 5.962 * [taylor]: Taking taylor expansion of y in x 5.962 * [taylor]: Taking taylor expansion of (* x z) in x 5.962 * [taylor]: Taking taylor expansion of x in x 5.962 * [taylor]: Taking taylor expansion of z in x 5.963 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 5.963 * [taylor]: Taking taylor expansion of y in y 5.963 * [taylor]: Taking taylor expansion of (* x z) in y 5.963 * [taylor]: Taking taylor expansion of x in y 5.963 * [taylor]: Taking taylor expansion of z in y 5.963 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 5.963 * [taylor]: Taking taylor expansion of y in z 5.963 * [taylor]: Taking taylor expansion of (* x z) in z 5.963 * [taylor]: Taking taylor expansion of x in z 5.963 * [taylor]: Taking taylor expansion of z in z 5.963 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 5.963 * [taylor]: Taking taylor expansion of y in z 5.963 * [taylor]: Taking taylor expansion of (* x z) in z 5.963 * [taylor]: Taking taylor expansion of x in z 5.963 * [taylor]: Taking taylor expansion of z in z 5.964 * [taylor]: Taking taylor expansion of (/ y x) in y 5.964 * [taylor]: Taking taylor expansion of y in y 5.964 * [taylor]: Taking taylor expansion of x in y 5.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.964 * [taylor]: Taking taylor expansion of x in x 5.964 * [taylor]: Taking taylor expansion of 0 in y 5.965 * [taylor]: Taking taylor expansion of 0 in x 5.965 * [taylor]: Taking taylor expansion of 0 in x 5.966 * [taylor]: Taking taylor expansion of 0 in y 5.966 * [taylor]: Taking taylor expansion of 0 in x 5.966 * [taylor]: Taking taylor expansion of 0 in x 5.966 * [taylor]: Taking taylor expansion of 0 in x 5.967 * [taylor]: Taking taylor expansion of 0 in y 5.967 * [taylor]: Taking taylor expansion of 0 in x 5.967 * [taylor]: Taking taylor expansion of 0 in x 5.967 * [taylor]: Taking taylor expansion of 0 in x 5.967 * [taylor]: Taking taylor expansion of 0 in x 5.967 * [approximate]: Taking taylor expansion of (* -1 (/ y (* x z))) in (z y x) around 0 5.967 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in x 5.967 * [taylor]: Taking taylor expansion of -1 in x 5.967 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 5.967 * [taylor]: Taking taylor expansion of y in x 5.967 * [taylor]: Taking taylor expansion of (* x z) in x 5.967 * [taylor]: Taking taylor expansion of x in x 5.967 * [taylor]: Taking taylor expansion of z in x 5.968 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in y 5.968 * [taylor]: Taking taylor expansion of -1 in y 5.968 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 5.968 * [taylor]: Taking taylor expansion of y in y 5.968 * [taylor]: Taking taylor expansion of (* x z) in y 5.968 * [taylor]: Taking taylor expansion of x in y 5.968 * [taylor]: Taking taylor expansion of z in y 5.968 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in z 5.968 * [taylor]: Taking taylor expansion of -1 in z 5.968 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 5.968 * [taylor]: Taking taylor expansion of y in z 5.968 * [taylor]: Taking taylor expansion of (* x z) in z 5.968 * [taylor]: Taking taylor expansion of x in z 5.968 * [taylor]: Taking taylor expansion of z in z 5.969 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in z 5.969 * [taylor]: Taking taylor expansion of -1 in z 5.969 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 5.969 * [taylor]: Taking taylor expansion of y in z 5.969 * [taylor]: Taking taylor expansion of (* x z) in z 5.969 * [taylor]: Taking taylor expansion of x in z 5.969 * [taylor]: Taking taylor expansion of z in z 5.969 * [taylor]: Taking taylor expansion of (* -1 (/ y x)) in y 5.969 * [taylor]: Taking taylor expansion of -1 in y 5.969 * [taylor]: Taking taylor expansion of (/ y x) in y 5.969 * [taylor]: Taking taylor expansion of y in y 5.969 * [taylor]: Taking taylor expansion of x in y 5.969 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.969 * [taylor]: Taking taylor expansion of -1 in x 5.969 * [taylor]: Taking taylor expansion of x in x 5.970 * [taylor]: Taking taylor expansion of 0 in y 5.970 * [taylor]: Taking taylor expansion of 0 in x 5.971 * [taylor]: Taking taylor expansion of 0 in x 5.972 * [taylor]: Taking taylor expansion of 0 in y 5.972 * [taylor]: Taking taylor expansion of 0 in x 5.972 * [taylor]: Taking taylor expansion of 0 in x 5.973 * [taylor]: Taking taylor expansion of 0 in x 5.975 * [taylor]: Taking taylor expansion of 0 in y 5.975 * [taylor]: Taking taylor expansion of 0 in x 5.975 * [taylor]: Taking taylor expansion of 0 in x 5.975 * [taylor]: Taking taylor expansion of 0 in x 5.976 * [taylor]: Taking taylor expansion of 0 in x 5.976 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.976 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x z y) around 0 5.976 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y 5.976 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 5.976 * [taylor]: Taking taylor expansion of (cosh x) in y 5.976 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 5.976 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 5.976 * [taylor]: Taking taylor expansion of (exp x) in y 5.976 * [taylor]: Taking taylor expansion of x in y 5.976 * [taylor]: Taking taylor expansion of (exp (- x)) in y 5.976 * [taylor]: Taking taylor expansion of (- x) in y 5.976 * [taylor]: Taking taylor expansion of x in y 5.976 * [taylor]: Taking taylor expansion of 2 in y 5.976 * [taylor]: Taking taylor expansion of y in y 5.976 * [taylor]: Taking taylor expansion of (* x z) in y 5.976 * [taylor]: Taking taylor expansion of x in y 5.976 * [taylor]: Taking taylor expansion of z in y 5.979 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z 5.979 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 5.979 * [taylor]: Taking taylor expansion of (cosh x) in z 5.979 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 5.979 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 5.979 * [taylor]: Taking taylor expansion of (exp x) in z 5.979 * [taylor]: Taking taylor expansion of x in z 5.979 * [taylor]: Taking taylor expansion of (exp (- x)) in z 5.979 * [taylor]: Taking taylor expansion of (- x) in z 5.979 * [taylor]: Taking taylor expansion of x in z 5.979 * [taylor]: Taking taylor expansion of 2 in z 5.979 * [taylor]: Taking taylor expansion of y in z 5.979 * [taylor]: Taking taylor expansion of (* x z) in z 5.979 * [taylor]: Taking taylor expansion of x in z 5.979 * [taylor]: Taking taylor expansion of z in z 5.980 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 5.980 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 5.980 * [taylor]: Taking taylor expansion of (cosh x) in x 5.980 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 5.980 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 5.980 * [taylor]: Taking taylor expansion of (exp x) in x 5.980 * [taylor]: Taking taylor expansion of x in x 5.980 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.980 * [taylor]: Taking taylor expansion of (- x) in x 5.980 * [taylor]: Taking taylor expansion of x in x 5.981 * [taylor]: Taking taylor expansion of 2 in x 5.981 * [taylor]: Taking taylor expansion of y in x 5.981 * [taylor]: Taking taylor expansion of (* x z) in x 5.981 * [taylor]: Taking taylor expansion of x in x 5.981 * [taylor]: Taking taylor expansion of z in x 5.981 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 5.981 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 5.981 * [taylor]: Taking taylor expansion of (cosh x) in x 5.981 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 5.981 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 5.982 * [taylor]: Taking taylor expansion of (exp x) in x 5.982 * [taylor]: Taking taylor expansion of x in x 5.982 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.982 * [taylor]: Taking taylor expansion of (- x) in x 5.982 * [taylor]: Taking taylor expansion of x in x 5.982 * [taylor]: Taking taylor expansion of 2 in x 5.982 * [taylor]: Taking taylor expansion of y in x 5.982 * [taylor]: Taking taylor expansion of (* x z) in x 5.983 * [taylor]: Taking taylor expansion of x in x 5.983 * [taylor]: Taking taylor expansion of z in x 5.983 * [taylor]: Taking taylor expansion of (/ y z) in z 5.983 * [taylor]: Taking taylor expansion of y in z 5.983 * [taylor]: Taking taylor expansion of z in z 5.983 * [taylor]: Taking taylor expansion of y in y 5.986 * [taylor]: Taking taylor expansion of 0 in z 5.986 * [taylor]: Taking taylor expansion of 0 in y 5.990 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in z 5.991 * [taylor]: Taking taylor expansion of 1/2 in z 5.991 * [taylor]: Taking taylor expansion of (/ y z) in z 5.991 * [taylor]: Taking taylor expansion of y in z 5.991 * [taylor]: Taking taylor expansion of z in z 5.991 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 5.991 * [taylor]: Taking taylor expansion of 1/2 in y 5.991 * [taylor]: Taking taylor expansion of y in y 5.991 * [taylor]: Taking taylor expansion of 0 in y 5.992 * [taylor]: Taking taylor expansion of 0 in y 5.998 * [taylor]: Taking taylor expansion of 0 in z 5.998 * [taylor]: Taking taylor expansion of 0 in y 5.999 * [taylor]: Taking taylor expansion of 0 in y 5.999 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x z y) around 0 5.999 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y 5.999 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y 5.999 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 5.999 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 5.999 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 5.999 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 5.999 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.999 * [taylor]: Taking taylor expansion of x in y 5.999 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 5.999 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 5.999 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.999 * [taylor]: Taking taylor expansion of x in y 5.999 * [taylor]: Taking taylor expansion of 2 in y 6.000 * [taylor]: Taking taylor expansion of (* x z) in y 6.000 * [taylor]: Taking taylor expansion of x in y 6.000 * [taylor]: Taking taylor expansion of z in y 6.000 * [taylor]: Taking taylor expansion of y in y 6.000 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z 6.000 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z 6.000 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 6.000 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.000 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 6.000 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 6.000 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.000 * [taylor]: Taking taylor expansion of x in z 6.000 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 6.000 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 6.000 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.000 * [taylor]: Taking taylor expansion of x in z 6.000 * [taylor]: Taking taylor expansion of 2 in z 6.000 * [taylor]: Taking taylor expansion of (* x z) in z 6.000 * [taylor]: Taking taylor expansion of x in z 6.000 * [taylor]: Taking taylor expansion of z in z 6.000 * [taylor]: Taking taylor expansion of y in z 6.003 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 6.003 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 6.003 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.004 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.004 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.004 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.004 * [taylor]: Taking taylor expansion of x in x 6.004 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.004 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.004 * [taylor]: Taking taylor expansion of x in x 6.004 * [taylor]: Taking taylor expansion of 2 in x 6.005 * [taylor]: Taking taylor expansion of (* x z) in x 6.005 * [taylor]: Taking taylor expansion of x in x 6.005 * [taylor]: Taking taylor expansion of z in x 6.005 * [taylor]: Taking taylor expansion of y in x 6.006 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 6.006 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 6.006 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 6.007 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 6.007 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.007 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.007 * [taylor]: Taking taylor expansion of x in x 6.007 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.007 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.007 * [taylor]: Taking taylor expansion of x in x 6.007 * [taylor]: Taking taylor expansion of 2 in x 6.008 * [taylor]: Taking taylor expansion of (* x z) in x 6.008 * [taylor]: Taking taylor expansion of x in x 6.008 * [taylor]: Taking taylor expansion of z in x 6.008 * [taylor]: Taking taylor expansion of y in x 6.009 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in z 6.009 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z 6.009 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in z 6.009 * [taylor]: Taking taylor expansion of 1/2 in z 6.010 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 6.010 * [taylor]: Taking taylor expansion of z in z 6.010 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 6.010 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 6.010 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.010 * [taylor]: Taking taylor expansion of x in z 6.010 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 6.010 * [taylor]: Taking taylor expansion of 1/2 in z 6.010 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 6.010 * [taylor]: Taking taylor expansion of z in z 6.010 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 6.010 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.010 * [taylor]: Taking taylor expansion of x in z 6.010 * [taylor]: Taking taylor expansion of y in z 6.013 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (- (/ 1 x))))) y) in y 6.013 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (- (/ 1 x))))) in y 6.013 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y 6.013 * [taylor]: Taking taylor expansion of 1/2 in y 6.013 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.013 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.013 * [taylor]: Taking taylor expansion of x in y 6.013 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- (/ 1 x)))) in y 6.013 * [taylor]: Taking taylor expansion of 1/2 in y 6.013 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 6.013 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.014 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.014 * [taylor]: Taking taylor expansion of x in y 6.014 * [taylor]: Taking taylor expansion of y in y 6.016 * [taylor]: Taking taylor expansion of 0 in z 6.016 * [taylor]: Taking taylor expansion of 0 in y 6.021 * [taylor]: Taking taylor expansion of 0 in y 6.029 * [taylor]: Taking taylor expansion of 0 in z 6.029 * [taylor]: Taking taylor expansion of 0 in y 6.029 * [taylor]: Taking taylor expansion of 0 in y 6.036 * [taylor]: Taking taylor expansion of 0 in y 6.043 * [taylor]: Taking taylor expansion of 0 in z 6.043 * [taylor]: Taking taylor expansion of 0 in y 6.043 * [taylor]: Taking taylor expansion of 0 in y 6.043 * [taylor]: Taking taylor expansion of 0 in y 6.052 * [taylor]: Taking taylor expansion of 0 in y 6.052 * [approximate]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in (x z y) around 0 6.052 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in y 6.052 * [taylor]: Taking taylor expansion of -1 in y 6.052 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in y 6.052 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in y 6.052 * [taylor]: Taking taylor expansion of z in y 6.052 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in y 6.052 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 6.053 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.053 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 6.053 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.053 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.053 * [taylor]: Taking taylor expansion of -1 in y 6.053 * [taylor]: Taking taylor expansion of x in y 6.053 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 6.053 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 6.053 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.053 * [taylor]: Taking taylor expansion of -1 in y 6.053 * [taylor]: Taking taylor expansion of x in y 6.053 * [taylor]: Taking taylor expansion of 2 in y 6.053 * [taylor]: Taking taylor expansion of x in y 6.053 * [taylor]: Taking taylor expansion of y in y 6.053 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in z 6.053 * [taylor]: Taking taylor expansion of -1 in z 6.053 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in z 6.053 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in z 6.053 * [taylor]: Taking taylor expansion of z in z 6.054 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in z 6.054 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 6.054 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.054 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 6.054 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 6.054 * [taylor]: Taking taylor expansion of (/ -1 x) in z 6.054 * [taylor]: Taking taylor expansion of -1 in z 6.054 * [taylor]: Taking taylor expansion of x in z 6.054 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 6.054 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 6.054 * [taylor]: Taking taylor expansion of (/ -1 x) in z 6.054 * [taylor]: Taking taylor expansion of -1 in z 6.054 * [taylor]: Taking taylor expansion of x in z 6.054 * [taylor]: Taking taylor expansion of 2 in z 6.054 * [taylor]: Taking taylor expansion of x in z 6.054 * [taylor]: Taking taylor expansion of y in z 6.057 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in x 6.057 * [taylor]: Taking taylor expansion of -1 in x 6.057 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in x 6.057 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in x 6.057 * [taylor]: Taking taylor expansion of z in x 6.057 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in x 6.057 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.057 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.057 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.057 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.057 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.057 * [taylor]: Taking taylor expansion of -1 in x 6.057 * [taylor]: Taking taylor expansion of x in x 6.058 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.058 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.058 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.058 * [taylor]: Taking taylor expansion of -1 in x 6.058 * [taylor]: Taking taylor expansion of x in x 6.058 * [taylor]: Taking taylor expansion of 2 in x 6.058 * [taylor]: Taking taylor expansion of x in x 6.058 * [taylor]: Taking taylor expansion of y in x 6.060 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in x 6.060 * [taylor]: Taking taylor expansion of -1 in x 6.060 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in x 6.060 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in x 6.060 * [taylor]: Taking taylor expansion of z in x 6.060 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in x 6.060 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 6.060 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 6.060 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.060 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.060 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.060 * [taylor]: Taking taylor expansion of -1 in x 6.060 * [taylor]: Taking taylor expansion of x in x 6.061 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.061 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.061 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.061 * [taylor]: Taking taylor expansion of -1 in x 6.061 * [taylor]: Taking taylor expansion of x in x 6.061 * [taylor]: Taking taylor expansion of 2 in x 6.061 * [taylor]: Taking taylor expansion of x in x 6.061 * [taylor]: Taking taylor expansion of y in x 6.063 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in z 6.063 * [taylor]: Taking taylor expansion of -1 in z 6.063 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in z 6.064 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z 6.064 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 6.064 * [taylor]: Taking taylor expansion of 1/2 in z 6.064 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 6.064 * [taylor]: Taking taylor expansion of z in z 6.064 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 6.064 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.064 * [taylor]: Taking taylor expansion of x in z 6.064 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z 6.064 * [taylor]: Taking taylor expansion of 1/2 in z 6.064 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 6.064 * [taylor]: Taking taylor expansion of z in z 6.064 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 6.064 * [taylor]: Taking taylor expansion of (/ -1 x) in z 6.064 * [taylor]: Taking taylor expansion of -1 in z 6.064 * [taylor]: Taking taylor expansion of x in z 6.064 * [taylor]: Taking taylor expansion of y in z 6.067 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) y)) in y 6.067 * [taylor]: Taking taylor expansion of -1 in y 6.067 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) y) in y 6.067 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) in y 6.067 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y 6.067 * [taylor]: Taking taylor expansion of 1/2 in y 6.067 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 6.067 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.067 * [taylor]: Taking taylor expansion of x in y 6.067 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ -1 x))) in y 6.067 * [taylor]: Taking taylor expansion of 1/2 in y 6.067 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 6.067 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.067 * [taylor]: Taking taylor expansion of -1 in y 6.067 * [taylor]: Taking taylor expansion of x in y 6.067 * [taylor]: Taking taylor expansion of y in y 6.071 * [taylor]: Taking taylor expansion of 0 in z 6.071 * [taylor]: Taking taylor expansion of 0 in y 6.075 * [taylor]: Taking taylor expansion of 0 in y 6.081 * [taylor]: Taking taylor expansion of 0 in z 6.081 * [taylor]: Taking taylor expansion of 0 in y 6.081 * [taylor]: Taking taylor expansion of 0 in y 6.087 * [taylor]: Taking taylor expansion of 0 in y 6.096 * [taylor]: Taking taylor expansion of 0 in z 6.096 * [taylor]: Taking taylor expansion of 0 in y 6.096 * [taylor]: Taking taylor expansion of 0 in y 6.096 * [taylor]: Taking taylor expansion of 0 in y 6.104 * [taylor]: Taking taylor expansion of 0 in y 6.104 * * * [progress]: simplifying candidates 6.105 * [simplify]: Simplifying using # : (expm1 (* (/ z y) x)) (log1p (* (/ z y) x)) (* (/ z y) x) (+ (- (log z) (log y)) (log x)) (+ (log (/ z y)) (log x)) (log (* (/ z y) x)) (exp (* (/ z y) x)) (* (/ (* (* z z) z) (* (* y y) y)) (* (* x x) x)) (* (* (* (/ z y) (/ z y)) (/ z y)) (* (* x x) x)) (* (cbrt (* (/ z y) x)) (cbrt (* (/ z y) x))) (cbrt (* (/ z y) x)) (* (* (* (/ z y) x) (* (/ z y) x)) (* (/ z y) x)) (sqrt (* (/ z y) x)) (sqrt (* (/ z y) x)) (* (sqrt (/ z y)) (sqrt x)) (* (sqrt (/ z y)) (sqrt x)) (* (/ (sqrt z) (sqrt y)) (sqrt x)) (* (/ (sqrt z) (sqrt y)) (sqrt x)) (* (/ z y) (* (cbrt x) (cbrt x))) (* (/ z y) (sqrt x)) (* (/ z y) 1) (* (cbrt (/ z y)) x) (* (sqrt (/ z y)) x) (* (/ (cbrt z) (cbrt y)) x) (* (/ (cbrt z) (sqrt y)) x) (* (/ (cbrt z) y) x) (* (/ (sqrt z) (cbrt y)) x) (* (/ (sqrt z) (sqrt y)) x) (* (/ (sqrt z) y) x) (* (/ z (cbrt y)) x) (* (/ z (sqrt y)) x) (* (/ z y) x) (* (/ z y) x) (* (/ 1 y) x) (* z x) (expm1 (/ (cosh x) (* (/ z y) x))) (log1p (/ (cosh x) (* (/ z y) x))) (- (log (cosh x)) (+ (- (log z) (log y)) (log x))) (- (log (cosh x)) (+ (log (/ z y)) (log x))) (- (log (cosh x)) (log (* (/ z y) x))) (log (/ (cosh x) (* (/ z y) x))) (exp (/ (cosh x) (* (/ z y) x))) (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (/ (* (* z z) z) (* (* y y) y)) (* (* x x) x))) (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* (* (/ z y) (/ z y)) (/ z y)) (* (* x x) x))) (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* (* (/ z y) x) (* (/ z y) x)) (* (/ z y) x))) (* (cbrt (/ (cosh x) (* (/ z y) x))) (cbrt (/ (cosh x) (* (/ z y) x)))) (cbrt (/ (cosh x) (* (/ z y) x))) (* (* (/ (cosh x) (* (/ z y) x)) (/ (cosh x) (* (/ z y) x))) (/ (cosh x) (* (/ z y) x))) (sqrt (/ (cosh x) (* (/ z y) x))) (sqrt (/ (cosh x) (* (/ z y) x))) (- (cosh x)) (- (* (/ z y) x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ z y)) (/ (cbrt (cosh x)) x) (/ (sqrt (cosh x)) (/ z y)) (/ (sqrt (cosh x)) x) (/ 1 (/ z y)) (/ (cosh x) x) (/ 1 (* (/ z y) x)) (/ (* (/ z y) x) (cosh x)) (/ (cosh x) (/ z y)) (/ (* (/ z y) x) (cbrt (cosh x))) (/ (* (/ z y) x) (sqrt (cosh x))) (/ (* (/ z y) x) (cosh x)) (/ (cosh x) (* z x)) (* (* (/ z y) x) 2) (/ (* x z) y) (/ (* x z) y) (/ (* x z) y) (+ (* 1/2 (/ (* x y) z)) (/ y (* x z))) (/ (* y (+ (* 1/2 (exp x)) (* 1/2 (exp (- x))))) (* x z)) (/ (* (+ (* 1/2 (exp (* -1 x))) (* 1/2 (exp x))) y) (* z x)) 6.111 * * [simplify]: iteration 0 : 130 enodes (cost 644 ) 6.131 * * [simplify]: iteration 1 : 317 enodes (cost 627 ) 6.264 * * [simplify]: iteration 2 : 1095 enodes (cost 531 ) 7.772 * * [simplify]: iteration 3 : 4981 enodes (cost 527 ) 8.587 * * [simplify]: iteration done : 5000 enodes (cost 527 ) 8.588 * [simplify]: Simplified to: (expm1 (* (/ z y) x)) (log1p (* (/ z y) x)) (/ (* x z) y) (log (* (/ z y) x)) (log (* (/ z y) x)) (log (* (/ z y) x)) (exp (* (/ z y) x)) (pow (/ (* x z) y) 3) (pow (/ (* x z) y) 3) (* (cbrt (* (/ z y) x)) (cbrt (* (/ z y) x))) (cbrt (* (/ z y) x)) (pow (/ (* x z) y) 3) (sqrt (* (/ z y) x)) (sqrt (* (/ z y) x)) (* (sqrt (/ z y)) (sqrt x)) (* (sqrt (/ z y)) (sqrt x)) (* (/ (sqrt z) (sqrt y)) (sqrt x)) (* (/ (sqrt z) (sqrt y)) (sqrt x)) (* (/ z y) (* (cbrt x) (cbrt x))) (* (/ z y) (sqrt x)) (/ z y) (* (cbrt (/ z y)) x) (* (sqrt (/ z y)) x) (* (/ (cbrt z) (cbrt y)) x) (* (/ (cbrt z) (sqrt y)) x) (* (/ (cbrt z) y) x) (* (/ (sqrt z) (cbrt y)) x) (* (/ (sqrt z) (sqrt y)) x) (* (/ (sqrt z) y) x) (* (/ z (cbrt y)) x) (* (/ z (sqrt y)) x) (/ (* x z) y) (/ (* x z) y) (/ x y) (* x z) (expm1 (/ (cosh x) (* (/ z y) x))) (log1p (/ (cosh x) (* (/ z y) x))) (log (/ (cosh x) (* (/ z y) x))) (log (/ (cosh x) (* (/ z y) x))) (log (/ (cosh x) (* (/ z y) x))) (log (/ (cosh x) (* (/ z y) x))) (exp (/ (cosh x) (* (/ z y) x))) (pow (/ (cosh x) (* (/ z y) x)) 3) (pow (/ (cosh x) (* (/ z y) x)) 3) (pow (/ (cosh x) (* (/ z y) x)) 3) (* (cbrt (/ (cosh x) (* (/ z y) x))) (cbrt (/ (cosh x) (* (/ z y) x)))) (cbrt (/ (cosh x) (* (/ z y) x))) (pow (/ (cosh x) (* (/ z y) x)) 3) (sqrt (/ (cosh x) (* (/ z y) x))) (sqrt (/ (cosh x) (* (/ z y) x))) (- (cosh x)) (- (* (/ z y) x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ z y)) (/ (cbrt (cosh x)) x) (/ (sqrt (cosh x)) (/ z y)) (/ (sqrt (cosh x)) x) (/ y z) (/ (cosh x) x) (/ y (* x z)) (/ (* (/ z y) x) (cosh x)) (/ (cosh x) (/ z y)) (/ (* (/ z y) x) (cbrt (cosh x))) (/ (* (/ z y) x) (sqrt (cosh x))) (/ (* (/ z y) x) (cosh x)) (/ (cosh x) (* z x)) (* (* (/ z y) x) 2) (/ (* x z) y) (/ (* x z) y) (/ (* x z) y) (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.588 * * * [progress]: adding candidates to table 8.733 * * [progress]: iteration 3 / 4 8.733 * * * [progress]: picking best candidate 8.744 * * * * [pick]: Picked # 8.744 * * * [progress]: localizing error 8.758 * * * [progress]: generating rewritten candidates 8.758 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 8.799 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 8.800 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 8.800 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 8.804 * * * [progress]: generating series expansions 8.804 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 8.805 * [approximate]: Taking taylor expansion of (/ (* x z) y) in (z y x) around 0 8.805 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 8.805 * [taylor]: Taking taylor expansion of (* x z) in x 8.805 * [taylor]: Taking taylor expansion of x in x 8.805 * [taylor]: Taking taylor expansion of z in x 8.805 * [taylor]: Taking taylor expansion of y in x 8.805 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 8.805 * [taylor]: Taking taylor expansion of (* x z) in y 8.805 * [taylor]: Taking taylor expansion of x in y 8.805 * [taylor]: Taking taylor expansion of z in y 8.805 * [taylor]: Taking taylor expansion of y in y 8.805 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 8.805 * [taylor]: Taking taylor expansion of (* x z) in z 8.805 * [taylor]: Taking taylor expansion of x in z 8.805 * [taylor]: Taking taylor expansion of z in z 8.805 * [taylor]: Taking taylor expansion of y in z 8.806 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 8.806 * [taylor]: Taking taylor expansion of (* x z) in z 8.806 * [taylor]: Taking taylor expansion of x in z 8.806 * [taylor]: Taking taylor expansion of z in z 8.806 * [taylor]: Taking taylor expansion of y in z 8.806 * [taylor]: Taking taylor expansion of (/ x y) in y 8.806 * [taylor]: Taking taylor expansion of x in y 8.806 * [taylor]: Taking taylor expansion of y in y 8.806 * [taylor]: Taking taylor expansion of x in x 8.807 * [taylor]: Taking taylor expansion of 0 in y 8.807 * [taylor]: Taking taylor expansion of 0 in x 8.808 * [taylor]: Taking taylor expansion of 0 in y 8.808 * [taylor]: Taking taylor expansion of 0 in x 8.809 * [taylor]: Taking taylor expansion of 0 in x 8.809 * [approximate]: Taking taylor expansion of (/ y (* x z)) in (z y x) around 0 8.809 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 8.809 * [taylor]: Taking taylor expansion of y in x 8.809 * [taylor]: Taking taylor expansion of (* x z) in x 8.809 * [taylor]: Taking taylor expansion of x in x 8.809 * [taylor]: Taking taylor expansion of z in x 8.810 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 8.810 * [taylor]: Taking taylor expansion of y in y 8.810 * [taylor]: Taking taylor expansion of (* x z) in y 8.810 * [taylor]: Taking taylor expansion of x in y 8.810 * [taylor]: Taking taylor expansion of z in y 8.810 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 8.810 * [taylor]: Taking taylor expansion of y in z 8.810 * [taylor]: Taking taylor expansion of (* x z) in z 8.810 * [taylor]: Taking taylor expansion of x in z 8.810 * [taylor]: Taking taylor expansion of z in z 8.810 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 8.810 * [taylor]: Taking taylor expansion of y in z 8.810 * [taylor]: Taking taylor expansion of (* x z) in z 8.810 * [taylor]: Taking taylor expansion of x in z 8.810 * [taylor]: Taking taylor expansion of z in z 8.811 * [taylor]: Taking taylor expansion of (/ y x) in y 8.811 * [taylor]: Taking taylor expansion of y in y 8.811 * [taylor]: Taking taylor expansion of x in y 8.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.811 * [taylor]: Taking taylor expansion of x in x 8.811 * [taylor]: Taking taylor expansion of 0 in y 8.811 * [taylor]: Taking taylor expansion of 0 in x 8.811 * [taylor]: Taking taylor expansion of 0 in x 8.812 * [taylor]: Taking taylor expansion of 0 in y 8.812 * [taylor]: Taking taylor expansion of 0 in x 8.812 * [taylor]: Taking taylor expansion of 0 in x 8.813 * [taylor]: Taking taylor expansion of 0 in x 8.814 * [taylor]: Taking taylor expansion of 0 in y 8.814 * [taylor]: Taking taylor expansion of 0 in x 8.814 * [taylor]: Taking taylor expansion of 0 in x 8.814 * [taylor]: Taking taylor expansion of 0 in x 8.814 * [taylor]: Taking taylor expansion of 0 in x 8.815 * [approximate]: Taking taylor expansion of (* -1 (/ y (* x z))) in (z y x) around 0 8.815 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in x 8.815 * [taylor]: Taking taylor expansion of -1 in x 8.815 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 8.815 * [taylor]: Taking taylor expansion of y in x 8.815 * [taylor]: Taking taylor expansion of (* x z) in x 8.815 * [taylor]: Taking taylor expansion of x in x 8.815 * [taylor]: Taking taylor expansion of z in x 8.815 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in y 8.815 * [taylor]: Taking taylor expansion of -1 in y 8.815 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 8.815 * [taylor]: Taking taylor expansion of y in y 8.815 * [taylor]: Taking taylor expansion of (* x z) in y 8.815 * [taylor]: Taking taylor expansion of x in y 8.815 * [taylor]: Taking taylor expansion of z in y 8.815 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in z 8.816 * [taylor]: Taking taylor expansion of -1 in z 8.816 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 8.816 * [taylor]: Taking taylor expansion of y in z 8.816 * [taylor]: Taking taylor expansion of (* x z) in z 8.816 * [taylor]: Taking taylor expansion of x in z 8.816 * [taylor]: Taking taylor expansion of z in z 8.816 * [taylor]: Taking taylor expansion of (* -1 (/ y (* x z))) in z 8.816 * [taylor]: Taking taylor expansion of -1 in z 8.816 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 8.816 * [taylor]: Taking taylor expansion of y in z 8.816 * [taylor]: Taking taylor expansion of (* x z) in z 8.816 * [taylor]: Taking taylor expansion of x in z 8.816 * [taylor]: Taking taylor expansion of z in z 8.816 * [taylor]: Taking taylor expansion of (* -1 (/ y x)) in y 8.816 * [taylor]: Taking taylor expansion of -1 in y 8.816 * [taylor]: Taking taylor expansion of (/ y x) in y 8.816 * [taylor]: Taking taylor expansion of y in y 8.816 * [taylor]: Taking taylor expansion of x in y 8.817 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.817 * [taylor]: Taking taylor expansion of -1 in x 8.817 * [taylor]: Taking taylor expansion of x in x 8.818 * [taylor]: Taking taylor expansion of 0 in y 8.818 * [taylor]: Taking taylor expansion of 0 in x 8.818 * [taylor]: Taking taylor expansion of 0 in x 8.819 * [taylor]: Taking taylor expansion of 0 in y 8.820 * [taylor]: Taking taylor expansion of 0 in x 8.820 * [taylor]: Taking taylor expansion of 0 in x 8.820 * [taylor]: Taking taylor expansion of 0 in x 8.822 * [taylor]: Taking taylor expansion of 0 in y 8.822 * [taylor]: Taking taylor expansion of 0 in x 8.822 * [taylor]: Taking taylor expansion of 0 in x 8.822 * [taylor]: Taking taylor expansion of 0 in x 8.823 * [taylor]: Taking taylor expansion of 0 in x 8.823 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 8.823 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 8.823 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.823 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.823 * [taylor]: Taking taylor expansion of 1/3 in y 8.823 * [taylor]: Taking taylor expansion of (log y) in y 8.823 * [taylor]: Taking taylor expansion of y in y 8.824 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.824 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.824 * [taylor]: Taking taylor expansion of 1/3 in y 8.824 * [taylor]: Taking taylor expansion of (log y) in y 8.824 * [taylor]: Taking taylor expansion of y in y 8.873 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 8.873 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.873 * [taylor]: Taking taylor expansion of 1/3 in y 8.873 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.873 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.873 * [taylor]: Taking taylor expansion of y in y 8.874 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.874 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.874 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.874 * [taylor]: Taking taylor expansion of 1/3 in y 8.874 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.874 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.874 * [taylor]: Taking taylor expansion of y in y 8.925 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 8.925 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.925 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.925 * [taylor]: Taking taylor expansion of -1 in y 8.926 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.926 * [taylor]: Taking taylor expansion of 1/3 in y 8.926 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.926 * [taylor]: Taking taylor expansion of y in y 8.927 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.927 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.927 * [taylor]: Taking taylor expansion of -1 in y 8.927 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.927 * [taylor]: Taking taylor expansion of 1/3 in y 8.927 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.927 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.927 * [taylor]: Taking taylor expansion of y in y 8.987 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 8.987 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 8.987 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.987 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.987 * [taylor]: Taking taylor expansion of 1/3 in y 8.987 * [taylor]: Taking taylor expansion of (log y) in y 8.987 * [taylor]: Taking taylor expansion of y in y 8.987 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.987 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.987 * [taylor]: Taking taylor expansion of 1/3 in y 8.987 * [taylor]: Taking taylor expansion of (log y) in y 8.987 * [taylor]: Taking taylor expansion of y in y 9.036 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 9.036 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.036 * [taylor]: Taking taylor expansion of 1/3 in y 9.036 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.036 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.036 * [taylor]: Taking taylor expansion of y in y 9.037 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.037 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.037 * [taylor]: Taking taylor expansion of 1/3 in y 9.037 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.037 * [taylor]: Taking taylor expansion of y in y 9.089 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 9.089 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 9.089 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.089 * [taylor]: Taking taylor expansion of -1 in y 9.089 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.089 * [taylor]: Taking taylor expansion of 1/3 in y 9.089 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.089 * [taylor]: Taking taylor expansion of y in y 9.090 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 9.090 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.090 * [taylor]: Taking taylor expansion of -1 in y 9.091 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.091 * [taylor]: Taking taylor expansion of 1/3 in y 9.091 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.091 * [taylor]: Taking taylor expansion of y in y 9.153 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 9.153 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 9.153 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 9.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 9.153 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 9.153 * [taylor]: Taking taylor expansion of 1/3 in y 9.153 * [taylor]: Taking taylor expansion of (log y) in y 9.153 * [taylor]: Taking taylor expansion of y in y 9.154 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 9.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 9.154 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 9.154 * [taylor]: Taking taylor expansion of 1/3 in y 9.154 * [taylor]: Taking taylor expansion of (log y) in y 9.154 * [taylor]: Taking taylor expansion of y in y 9.199 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 9.199 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.200 * [taylor]: Taking taylor expansion of 1/3 in y 9.200 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.200 * [taylor]: Taking taylor expansion of y in y 9.200 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.200 * [taylor]: Taking taylor expansion of 1/3 in y 9.200 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.201 * [taylor]: Taking taylor expansion of y in y 9.252 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 9.252 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 9.252 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.252 * [taylor]: Taking taylor expansion of -1 in y 9.252 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.253 * [taylor]: Taking taylor expansion of 1/3 in y 9.253 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.253 * [taylor]: Taking taylor expansion of y in y 9.253 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 9.253 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.253 * [taylor]: Taking taylor expansion of -1 in y 9.254 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.254 * [taylor]: Taking taylor expansion of 1/3 in y 9.254 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.254 * [taylor]: Taking taylor expansion of y in y 9.315 * * * [progress]: simplifying candidates 9.317 * [simplify]: Simplifying using # : (expm1 (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x))) (log1p (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x))) (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x)) (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x)) (+ (- (+ (log (cbrt z)) (log (cbrt z))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (- (log (cbrt z)) (log (cbrt y))) (log x))) (+ (- (+ (log (cbrt z)) (log (cbrt z))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (log (/ (cbrt z) (cbrt y))) (log x))) (+ (- (+ (log (cbrt z)) (log (cbrt z))) (+ (log (cbrt y)) (log (cbrt y)))) (log (* (/ (cbrt z) (cbrt y)) x))) (+ (- (+ (log (cbrt z)) (log (cbrt z))) (log (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt z)) (log (cbrt y))) (log x))) (+ (- (+ (log (cbrt z)) (log (cbrt z))) (log (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt z) (cbrt y))) (log x))) (+ (- (+ (log (cbrt z)) (log (cbrt z))) (log (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt z) (cbrt y)) x))) (+ (- (log (* (cbrt z) (cbrt z))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (- (log (cbrt z)) (log (cbrt y))) (log x))) (+ (- (log (* (cbrt z) (cbrt z))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (log (/ (cbrt z) (cbrt y))) (log x))) (+ (- (log (* (cbrt z) (cbrt z))) (+ (log (cbrt y)) (log (cbrt y)))) (log (* (/ (cbrt z) (cbrt y)) x))) (+ (- (log (* (cbrt z) (cbrt z))) (log (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt z)) (log (cbrt y))) (log x))) (+ (- (log (* (cbrt z) (cbrt z))) (log (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt z) (cbrt y))) (log x))) (+ (- (log (* (cbrt z) (cbrt z))) (log (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt z) (cbrt y)) x))) (+ (log (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt z)) (log (cbrt y))) (log x))) (+ (log (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt z) (cbrt y))) (log x))) (+ (log (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt z) (cbrt y)) x))) (log (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x))) (exp (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x))) (* (/ (* z z) (* y y)) (* (/ z y) (* (* x x) x))) (* (/ (* z z) (* y y)) (* (* (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y))) (/ (cbrt z) (cbrt y))) (* (* x x) x))) (* (/ (* z z) (* y y)) (* (* (* (/ (cbrt z) (cbrt y)) x) (* (/ (cbrt z) (cbrt y)) x)) (* (/ (cbrt z) (cbrt y)) x))) (* (/ (* z z) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (/ z y) (* (* x x) x))) (* (/ (* z z) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y))) (/ (cbrt z) (cbrt y))) (* (* x x) x))) (* (/ (* z z) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt z) (cbrt y)) x) (* (/ (cbrt z) (cbrt y)) x)) (* (/ (cbrt z) (cbrt y)) x))) (* (/ (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (* y y)) (* (/ z y) (* (* x x) x))) (* (/ (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (* y y)) (* (* (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y))) (/ (cbrt z) (cbrt y))) (* (* x x) x))) (* (/ (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (* y y)) (* (* (* (/ (cbrt z) (cbrt y)) x) (* (/ (cbrt z) (cbrt y)) x)) (* (/ (cbrt z) (cbrt y)) x))) (* (/ (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (/ z y) (* (* x x) x))) (* (/ (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y))) (/ (cbrt z) (cbrt y))) (* (* x x) x))) (* (/ (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt z) (cbrt y)) x) (* (/ (cbrt z) (cbrt y)) x)) (* (/ (cbrt z) (cbrt y)) x))) (* (* (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (* (/ z y) (* (* x x) x))) (* (* (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y))) (/ (cbrt z) (cbrt y))) (* (* x x) x))) (* (* (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt z) (cbrt y)) x) (* (/ (cbrt z) (cbrt y)) x)) (* (/ (cbrt z) (cbrt y)) x))) (* (cbrt (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x))) (cbrt (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x)))) (cbrt (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x))) (* (* (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x)) (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x))) (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x))) (sqrt (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x))) (sqrt (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x))) (* (* (cbrt z) (cbrt z)) (* (cbrt z) x)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (/ (cbrt z) (cbrt y))) (* (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (* (/ (cbrt z) (cbrt y)) x)) (* (sqrt (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (* (/ (cbrt z) (cbrt y)) x)) (* (/ (cbrt z) (cbrt y)) (* (/ (cbrt z) (cbrt y)) x)) (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x)) (* (/ 1 (* (cbrt y) (cbrt y))) (* (/ (cbrt z) (cbrt y)) x)) (* (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt z) x)) (* (* (cbrt z) (cbrt z)) (* (/ (cbrt z) (cbrt y)) x)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (/ (* x z) y) (/ (* x z) y) (/ (* x z) y) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 9.321 * * [simplify]: iteration 0 : 124 enodes (cost 1658 ) 9.349 * * [simplify]: iteration 1 : 412 enodes (cost 1592 ) 9.481 * * [simplify]: iteration 2 : 1892 enodes (cost 814 ) 10.193 * * [simplify]: iteration done : 5000 enodes (cost 812 ) 10.194 * [simplify]: Simplified to: (expm1 (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log1p (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (* (pow (/ (cbrt z) (cbrt y)) 3) x) (* (pow (/ (cbrt z) (cbrt y)) 3) x) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (log (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (exp (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (/ (* (/ (* z z) (* y y)) (* (pow x 3) z)) y) (/ (* z (pow (* (/ (cbrt z) (cbrt y)) x) 3)) (/ (* y y) z)) (/ (* z (pow (* (/ (cbrt z) (cbrt y)) x) 3)) (/ (* y y) z)) (* (* (/ z y) (pow x 3)) (/ (* z z) (pow (pow y 2/3) 3))) (* (/ (* z z) (pow (pow y 2/3) 3)) (pow (* (/ (cbrt z) (cbrt y)) x) 3)) (* (/ (* z z) (pow (pow y 2/3) 3)) (pow (* (/ (cbrt z) (cbrt y)) x) 3)) (* (pow x 3) (* (/ z y) (/ (pow (* (cbrt z) (cbrt z)) 3) (* y y)))) (* (pow (* (/ (cbrt z) (cbrt y)) x) 3) (/ (pow (* (cbrt z) (cbrt z)) 3) (* y y))) (* (pow (* (/ (cbrt z) (cbrt y)) x) 3) (/ (pow (* (cbrt z) (cbrt z)) 3) (* y y))) (* (/ (* (pow (/ (* (cbrt z) (cbrt z)) (pow y 2/3)) 3) z) y) (pow x 3)) (pow (* (pow (/ (cbrt z) (cbrt y)) 3) x) 3) (pow (* (pow (/ (cbrt z) (cbrt y)) 3) x) 3) (* (/ (* (pow (/ (* (cbrt z) (cbrt z)) (pow y 2/3)) 3) z) y) (pow x 3)) (pow (* (pow (/ (cbrt z) (cbrt y)) 3) x) 3) (pow (* (pow (/ (cbrt z) (cbrt y)) 3) x) 3) (* (cbrt (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (cbrt (* (pow (/ (cbrt z) (cbrt y)) 3) x))) (cbrt (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (pow (* (pow (/ (cbrt z) (cbrt y)) 3) x) 3) (sqrt (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (sqrt (* (pow (/ (cbrt z) (cbrt y)) 3) x)) (* (pow (cbrt z) 3) x) (pow (cbrt y) 3) (pow (/ (cbrt z) (cbrt y)) 3) (* (* (/ (cbrt z) (cbrt y)) x) (cbrt (/ (* (cbrt z) (cbrt z)) (pow y 2/3)))) (* (* (/ (cbrt z) (cbrt y)) x) (fabs (/ (cbrt z) (cbrt y)))) (/ (* (cbrt z) (* (cbrt z) x)) (pow y 2/3)) (* (pow (/ (cbrt z) (cbrt y)) 3) x) (/ x (/ (pow (cbrt y) 3) (cbrt z))) (/ (pow (cbrt z) 3) (/ (pow y 2/3) x)) (/ (* (pow (cbrt z) 3) x) (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (/ z y) x) (* (/ z y) x) (* (/ z y) x) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) 10.195 * * * [progress]: adding candidates to table 10.466 * * [progress]: iteration 4 / 4 10.466 * * * [progress]: picking best candidate 10.475 * * * * [pick]: Picked # 10.475 * * * [progress]: localizing error 10.481 * * * [progress]: generating rewritten candidates 10.481 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 10.497 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 10.525 * * * [progress]: generating series expansions 10.525 * * * * [progress]: [ 1 / 2 ] generating series at (2) 10.525 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in (x z y) around 0 10.525 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in y 10.525 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 10.525 * [taylor]: Taking taylor expansion of (cosh x) in y 10.525 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 10.525 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 10.525 * [taylor]: Taking taylor expansion of (exp x) in y 10.525 * [taylor]: Taking taylor expansion of x in y 10.525 * [taylor]: Taking taylor expansion of (exp (- x)) in y 10.525 * [taylor]: Taking taylor expansion of (- x) in y 10.525 * [taylor]: Taking taylor expansion of x in y 10.525 * [taylor]: Taking taylor expansion of 2 in y 10.525 * [taylor]: Taking taylor expansion of y in y 10.525 * [taylor]: Taking taylor expansion of (* x z) in y 10.525 * [taylor]: Taking taylor expansion of x in y 10.525 * [taylor]: Taking taylor expansion of z in y 10.528 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in z 10.528 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 10.528 * [taylor]: Taking taylor expansion of (cosh x) in z 10.528 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 10.528 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 10.528 * [taylor]: Taking taylor expansion of (exp x) in z 10.528 * [taylor]: Taking taylor expansion of x in z 10.528 * [taylor]: Taking taylor expansion of (exp (- x)) in z 10.528 * [taylor]: Taking taylor expansion of (- x) in z 10.528 * [taylor]: Taking taylor expansion of x in z 10.528 * [taylor]: Taking taylor expansion of 2 in z 10.529 * [taylor]: Taking taylor expansion of y in z 10.529 * [taylor]: Taking taylor expansion of (* x z) in z 10.529 * [taylor]: Taking taylor expansion of x in z 10.529 * [taylor]: Taking taylor expansion of z in z 10.529 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 10.529 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 10.529 * [taylor]: Taking taylor expansion of (cosh x) in x 10.529 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 10.529 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.529 * [taylor]: Taking taylor expansion of (exp x) in x 10.529 * [taylor]: Taking taylor expansion of x in x 10.529 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.529 * [taylor]: Taking taylor expansion of (- x) in x 10.529 * [taylor]: Taking taylor expansion of x in x 10.530 * [taylor]: Taking taylor expansion of 2 in x 10.530 * [taylor]: Taking taylor expansion of y in x 10.530 * [taylor]: Taking taylor expansion of (* x z) in x 10.530 * [taylor]: Taking taylor expansion of x in x 10.530 * [taylor]: Taking taylor expansion of z in x 10.531 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) (* x z)) in x 10.531 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 10.531 * [taylor]: Taking taylor expansion of (cosh x) in x 10.531 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 10.531 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.531 * [taylor]: Taking taylor expansion of (exp x) in x 10.531 * [taylor]: Taking taylor expansion of x in x 10.531 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.531 * [taylor]: Taking taylor expansion of (- x) in x 10.531 * [taylor]: Taking taylor expansion of x in x 10.531 * [taylor]: Taking taylor expansion of 2 in x 10.532 * [taylor]: Taking taylor expansion of y in x 10.532 * [taylor]: Taking taylor expansion of (* x z) in x 10.532 * [taylor]: Taking taylor expansion of x in x 10.532 * [taylor]: Taking taylor expansion of z in x 10.532 * [taylor]: Taking taylor expansion of (/ y z) in z 10.532 * [taylor]: Taking taylor expansion of y in z 10.532 * [taylor]: Taking taylor expansion of z in z 10.532 * [taylor]: Taking taylor expansion of y in y 10.535 * [taylor]: Taking taylor expansion of 0 in z 10.536 * [taylor]: Taking taylor expansion of 0 in y 10.540 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in z 10.540 * [taylor]: Taking taylor expansion of 1/2 in z 10.540 * [taylor]: Taking taylor expansion of (/ y z) in z 10.540 * [taylor]: Taking taylor expansion of y in z 10.540 * [taylor]: Taking taylor expansion of z in z 10.540 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 10.540 * [taylor]: Taking taylor expansion of 1/2 in y 10.540 * [taylor]: Taking taylor expansion of y in y 10.541 * [taylor]: Taking taylor expansion of 0 in y 10.542 * [taylor]: Taking taylor expansion of 0 in y 10.548 * [taylor]: Taking taylor expansion of 0 in z 10.549 * [taylor]: Taking taylor expansion of 0 in y 10.549 * [taylor]: Taking taylor expansion of 0 in y 10.549 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in (x z y) around 0 10.549 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in y 10.549 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in y 10.549 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 10.549 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 10.549 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 10.549 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.549 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.549 * [taylor]: Taking taylor expansion of x in y 10.549 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 10.549 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 10.549 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.549 * [taylor]: Taking taylor expansion of x in y 10.549 * [taylor]: Taking taylor expansion of 2 in y 10.550 * [taylor]: Taking taylor expansion of (* x z) in y 10.550 * [taylor]: Taking taylor expansion of x in y 10.550 * [taylor]: Taking taylor expansion of z in y 10.550 * [taylor]: Taking taylor expansion of y in y 10.550 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in z 10.550 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in z 10.550 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 10.550 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 10.550 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 10.550 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 10.550 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.550 * [taylor]: Taking taylor expansion of x in z 10.550 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 10.550 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 10.550 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.550 * [taylor]: Taking taylor expansion of x in z 10.551 * [taylor]: Taking taylor expansion of 2 in z 10.551 * [taylor]: Taking taylor expansion of (* x z) in z 10.551 * [taylor]: Taking taylor expansion of x in z 10.551 * [taylor]: Taking taylor expansion of z in z 10.551 * [taylor]: Taking taylor expansion of y in z 10.554 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 10.554 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 10.554 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 10.554 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 10.554 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.554 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.554 * [taylor]: Taking taylor expansion of x in x 10.555 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.555 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.555 * [taylor]: Taking taylor expansion of x in x 10.555 * [taylor]: Taking taylor expansion of 2 in x 10.555 * [taylor]: Taking taylor expansion of (* x z) in x 10.555 * [taylor]: Taking taylor expansion of x in x 10.555 * [taylor]: Taking taylor expansion of z in x 10.555 * [taylor]: Taking taylor expansion of y in x 10.557 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) (* x z)) y) in x 10.557 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) (* x z)) in x 10.557 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 10.557 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 10.558 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.558 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.558 * [taylor]: Taking taylor expansion of x in x 10.558 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.558 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.558 * [taylor]: Taking taylor expansion of x in x 10.558 * [taylor]: Taking taylor expansion of 2 in x 10.559 * [taylor]: Taking taylor expansion of (* x z) in x 10.559 * [taylor]: Taking taylor expansion of x in x 10.559 * [taylor]: Taking taylor expansion of z in x 10.559 * [taylor]: Taking taylor expansion of y in x 10.561 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) y) in z 10.561 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (- (/ 1 x))))) (* 1/2 (* z (exp (/ 1 x))))) in z 10.561 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (- (/ 1 x))))) in z 10.561 * [taylor]: Taking taylor expansion of 1/2 in z 10.561 * [taylor]: Taking taylor expansion of (* z (exp (- (/ 1 x)))) in z 10.561 * [taylor]: Taking taylor expansion of z in z 10.561 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 10.561 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 10.561 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.561 * [taylor]: Taking taylor expansion of x in z 10.561 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 10.561 * [taylor]: Taking taylor expansion of 1/2 in z 10.561 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 10.561 * [taylor]: Taking taylor expansion of z in z 10.561 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 10.561 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.561 * [taylor]: Taking taylor expansion of x in z 10.561 * [taylor]: Taking taylor expansion of y in z 10.565 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (- (/ 1 x))))) y) in y 10.565 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (- (/ 1 x))))) in y 10.565 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y 10.565 * [taylor]: Taking taylor expansion of 1/2 in y 10.565 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.565 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.565 * [taylor]: Taking taylor expansion of x in y 10.565 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- (/ 1 x)))) in y 10.565 * [taylor]: Taking taylor expansion of 1/2 in y 10.565 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 10.565 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 10.565 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.565 * [taylor]: Taking taylor expansion of x in y 10.565 * [taylor]: Taking taylor expansion of y in y 10.568 * [taylor]: Taking taylor expansion of 0 in z 10.568 * [taylor]: Taking taylor expansion of 0 in y 10.572 * [taylor]: Taking taylor expansion of 0 in y 10.578 * [taylor]: Taking taylor expansion of 0 in z 10.578 * [taylor]: Taking taylor expansion of 0 in y 10.578 * [taylor]: Taking taylor expansion of 0 in y 10.585 * [taylor]: Taking taylor expansion of 0 in y 10.593 * [taylor]: Taking taylor expansion of 0 in z 10.593 * [taylor]: Taking taylor expansion of 0 in y 10.593 * [taylor]: Taking taylor expansion of 0 in y 10.593 * [taylor]: Taking taylor expansion of 0 in y 10.602 * [taylor]: Taking taylor expansion of 0 in y 10.603 * [approximate]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in (x z y) around 0 10.603 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in y 10.603 * [taylor]: Taking taylor expansion of -1 in y 10.603 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in y 10.603 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in y 10.603 * [taylor]: Taking taylor expansion of z in y 10.603 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in y 10.603 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 10.603 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 10.603 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 10.603 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 10.603 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.603 * [taylor]: Taking taylor expansion of -1 in y 10.603 * [taylor]: Taking taylor expansion of x in y 10.603 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 10.603 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 10.603 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.603 * [taylor]: Taking taylor expansion of -1 in y 10.603 * [taylor]: Taking taylor expansion of x in y 10.603 * [taylor]: Taking taylor expansion of 2 in y 10.603 * [taylor]: Taking taylor expansion of x in y 10.603 * [taylor]: Taking taylor expansion of y in y 10.604 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in z 10.604 * [taylor]: Taking taylor expansion of -1 in z 10.604 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in z 10.604 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in z 10.604 * [taylor]: Taking taylor expansion of z in z 10.604 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in z 10.604 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 10.604 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 10.604 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 10.604 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 10.604 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.604 * [taylor]: Taking taylor expansion of -1 in z 10.604 * [taylor]: Taking taylor expansion of x in z 10.604 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 10.604 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 10.604 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.604 * [taylor]: Taking taylor expansion of -1 in z 10.604 * [taylor]: Taking taylor expansion of x in z 10.604 * [taylor]: Taking taylor expansion of 2 in z 10.604 * [taylor]: Taking taylor expansion of x in z 10.604 * [taylor]: Taking taylor expansion of y in z 10.610 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in x 10.610 * [taylor]: Taking taylor expansion of -1 in x 10.610 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in x 10.610 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in x 10.610 * [taylor]: Taking taylor expansion of z in x 10.610 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in x 10.610 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 10.611 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 10.611 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 10.611 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.611 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.611 * [taylor]: Taking taylor expansion of -1 in x 10.611 * [taylor]: Taking taylor expansion of x in x 10.611 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 10.611 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 10.611 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.611 * [taylor]: Taking taylor expansion of -1 in x 10.611 * [taylor]: Taking taylor expansion of x in x 10.612 * [taylor]: Taking taylor expansion of 2 in x 10.612 * [taylor]: Taking taylor expansion of x in x 10.612 * [taylor]: Taking taylor expansion of y in x 10.614 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (* (cosh (/ -1 x)) x)) y)) in x 10.614 * [taylor]: Taking taylor expansion of -1 in x 10.614 * [taylor]: Taking taylor expansion of (/ (* z (* (cosh (/ -1 x)) x)) y) in x 10.614 * [taylor]: Taking taylor expansion of (* z (* (cosh (/ -1 x)) x)) in x 10.614 * [taylor]: Taking taylor expansion of z in x 10.614 * [taylor]: Taking taylor expansion of (* (cosh (/ -1 x)) x) in x 10.614 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 10.614 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 10.614 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 10.614 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.614 * [taylor]: Taking taylor expansion of -1 in x 10.614 * [taylor]: Taking taylor expansion of x in x 10.614 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 10.614 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 10.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.614 * [taylor]: Taking taylor expansion of -1 in x 10.614 * [taylor]: Taking taylor expansion of x in x 10.615 * [taylor]: Taking taylor expansion of 2 in x 10.615 * [taylor]: Taking taylor expansion of x in x 10.615 * [taylor]: Taking taylor expansion of y in x 10.617 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y)) in z 10.617 * [taylor]: Taking taylor expansion of -1 in z 10.617 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) y) in z 10.617 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* z (exp (/ 1 x)))) (* 1/2 (* z (exp (/ -1 x))))) in z 10.617 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ 1 x)))) in z 10.617 * [taylor]: Taking taylor expansion of 1/2 in z 10.617 * [taylor]: Taking taylor expansion of (* z (exp (/ 1 x))) in z 10.617 * [taylor]: Taking taylor expansion of z in z 10.617 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 10.617 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.617 * [taylor]: Taking taylor expansion of x in z 10.617 * [taylor]: Taking taylor expansion of (* 1/2 (* z (exp (/ -1 x)))) in z 10.617 * [taylor]: Taking taylor expansion of 1/2 in z 10.617 * [taylor]: Taking taylor expansion of (* z (exp (/ -1 x))) in z 10.617 * [taylor]: Taking taylor expansion of z in z 10.617 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 10.617 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.617 * [taylor]: Taking taylor expansion of -1 in z 10.618 * [taylor]: Taking taylor expansion of x in z 10.618 * [taylor]: Taking taylor expansion of y in z 10.621 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) y)) in y 10.621 * [taylor]: Taking taylor expansion of -1 in y 10.621 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) y) in y 10.621 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp (/ 1 x))) (* 1/2 (exp (/ -1 x)))) in y 10.621 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ 1 x))) in y 10.621 * [taylor]: Taking taylor expansion of 1/2 in y 10.621 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.621 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.621 * [taylor]: Taking taylor expansion of x in y 10.621 * [taylor]: Taking taylor expansion of (* 1/2 (exp (/ -1 x))) in y 10.621 * [taylor]: Taking taylor expansion of 1/2 in y 10.621 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 10.621 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.621 * [taylor]: Taking taylor expansion of -1 in y 10.621 * [taylor]: Taking taylor expansion of x in y 10.621 * [taylor]: Taking taylor expansion of y in y 10.624 * [taylor]: Taking taylor expansion of 0 in z 10.624 * [taylor]: Taking taylor expansion of 0 in y 10.629 * [taylor]: Taking taylor expansion of 0 in y 10.635 * [taylor]: Taking taylor expansion of 0 in z 10.635 * [taylor]: Taking taylor expansion of 0 in y 10.635 * [taylor]: Taking taylor expansion of 0 in y 10.641 * [taylor]: Taking taylor expansion of 0 in y 10.650 * [taylor]: Taking taylor expansion of 0 in z 10.650 * [taylor]: Taking taylor expansion of 0 in y 10.650 * [taylor]: Taking taylor expansion of 0 in y 10.650 * [taylor]: Taking taylor expansion of 0 in y 10.659 * [taylor]: Taking taylor expansion of 0 in y 10.659 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 10.659 * [approximate]: Taking taylor expansion of (/ (* (cosh x) y) z) in (x z y) around 0 10.659 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) z) in y 10.659 * [taylor]: Taking taylor expansion of (* (cosh x) y) in y 10.659 * [taylor]: Taking taylor expansion of (cosh x) in y 10.659 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 10.659 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y 10.659 * [taylor]: Taking taylor expansion of (exp x) in y 10.659 * [taylor]: Taking taylor expansion of x in y 10.659 * [taylor]: Taking taylor expansion of (exp (- x)) in y 10.659 * [taylor]: Taking taylor expansion of (- x) in y 10.659 * [taylor]: Taking taylor expansion of x in y 10.660 * [taylor]: Taking taylor expansion of 2 in y 10.660 * [taylor]: Taking taylor expansion of y in y 10.660 * [taylor]: Taking taylor expansion of z in y 10.662 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) z) in z 10.662 * [taylor]: Taking taylor expansion of (* (cosh x) y) in z 10.662 * [taylor]: Taking taylor expansion of (cosh x) in z 10.662 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 10.662 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in z 10.662 * [taylor]: Taking taylor expansion of (exp x) in z 10.662 * [taylor]: Taking taylor expansion of x in z 10.662 * [taylor]: Taking taylor expansion of (exp (- x)) in z 10.662 * [taylor]: Taking taylor expansion of (- x) in z 10.662 * [taylor]: Taking taylor expansion of x in z 10.662 * [taylor]: Taking taylor expansion of 2 in z 10.663 * [taylor]: Taking taylor expansion of y in z 10.663 * [taylor]: Taking taylor expansion of z in z 10.663 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) z) in x 10.663 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 10.663 * [taylor]: Taking taylor expansion of (cosh x) in x 10.663 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 10.663 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.663 * [taylor]: Taking taylor expansion of (exp x) in x 10.663 * [taylor]: Taking taylor expansion of x in x 10.663 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.663 * [taylor]: Taking taylor expansion of (- x) in x 10.663 * [taylor]: Taking taylor expansion of x in x 10.663 * [taylor]: Taking taylor expansion of 2 in x 10.664 * [taylor]: Taking taylor expansion of y in x 10.664 * [taylor]: Taking taylor expansion of z in x 10.664 * [taylor]: Taking taylor expansion of (/ (* (cosh x) y) z) in x 10.664 * [taylor]: Taking taylor expansion of (* (cosh x) y) in x 10.664 * [taylor]: Taking taylor expansion of (cosh x) in x 10.664 * [taylor]: Rewrote expression to (/ (+ (exp x) (exp (- x))) 2) 10.664 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 10.664 * [taylor]: Taking taylor expansion of (exp x) in x 10.664 * [taylor]: Taking taylor expansion of x in x 10.664 * [taylor]: Taking taylor expansion of (exp (- x)) in x 10.664 * [taylor]: Taking taylor expansion of (- x) in x 10.664 * [taylor]: Taking taylor expansion of x in x 10.665 * [taylor]: Taking taylor expansion of 2 in x 10.665 * [taylor]: Taking taylor expansion of y in x 10.665 * [taylor]: Taking taylor expansion of z in x 10.665 * [taylor]: Taking taylor expansion of (/ y z) in z 10.665 * [taylor]: Taking taylor expansion of y in z 10.665 * [taylor]: Taking taylor expansion of z in z 10.665 * [taylor]: Taking taylor expansion of y in y 10.668 * [taylor]: Taking taylor expansion of 0 in z 10.668 * [taylor]: Taking taylor expansion of 0 in y 10.672 * [taylor]: Taking taylor expansion of (* 1/2 (/ y z)) in z 10.672 * [taylor]: Taking taylor expansion of 1/2 in z 10.672 * [taylor]: Taking taylor expansion of (/ y z) in z 10.672 * [taylor]: Taking taylor expansion of y in z 10.672 * [taylor]: Taking taylor expansion of z in z 10.672 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 10.672 * [taylor]: Taking taylor expansion of 1/2 in y 10.672 * [taylor]: Taking taylor expansion of y in y 10.673 * [taylor]: Taking taylor expansion of 0 in y 10.673 * [taylor]: Taking taylor expansion of 0 in y 10.678 * [taylor]: Taking taylor expansion of 0 in z 10.679 * [taylor]: Taking taylor expansion of 0 in y 10.679 * [taylor]: Taking taylor expansion of 0 in y 10.680 * [approximate]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) z) y) in (x z y) around 0 10.680 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) z) y) in y 10.680 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) z) in y 10.680 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in y 10.680 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 10.680 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 10.680 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.680 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.680 * [taylor]: Taking taylor expansion of x in y 10.680 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 10.680 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 10.680 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.680 * [taylor]: Taking taylor expansion of x in y 10.680 * [taylor]: Taking taylor expansion of 2 in y 10.680 * [taylor]: Taking taylor expansion of z in y 10.680 * [taylor]: Taking taylor expansion of y in y 10.681 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) z) y) in z 10.681 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) z) in z 10.681 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in z 10.681 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 10.681 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 10.681 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 10.681 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.681 * [taylor]: Taking taylor expansion of x in z 10.681 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 10.681 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 10.681 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.681 * [taylor]: Taking taylor expansion of x in z 10.681 * [taylor]: Taking taylor expansion of 2 in z 10.681 * [taylor]: Taking taylor expansion of z in z 10.681 * [taylor]: Taking taylor expansion of y in z 10.684 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) z) y) in x 10.684 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) z) in x 10.684 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 10.684 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 10.684 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.684 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.684 * [taylor]: Taking taylor expansion of x in x 10.685 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.685 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.685 * [taylor]: Taking taylor expansion of x in x 10.685 * [taylor]: Taking taylor expansion of 2 in x 10.686 * [taylor]: Taking taylor expansion of z in x 10.686 * [taylor]: Taking taylor expansion of y in x 10.686 * [taylor]: Taking taylor expansion of (/ (* (cosh (/ 1 x)) z) y) in x 10.686 * [taylor]: Taking taylor expansion of (* (cosh (/ 1 x)) z) in x 10.686 * [taylor]: Taking taylor expansion of (cosh (/ 1 x)) in x 10.686 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) 10.686 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 10.686 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 10.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.686 * [taylor]: Taking taylor expansion of x in x 10.686 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 10.686 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.686 * [taylor]: Taking taylor expansion of x in x 10.687 * [taylor]: Taking taylor expansion of 2 in x 10.687 * [taylor]: Taking taylor expansion of z in x 10.687 * [taylor]: Taking taylor expansion of y in x 10.687 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z) y)) in z 10.687 * [taylor]: Taking taylor expansion of 1/2 in z 10.687 * [taylor]: Taking taylor expansion of (/ (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z) y) in z 10.687 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) z) in z 10.687 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in z 10.687 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 10.687 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.687 * [taylor]: Taking taylor expansion of x in z 10.687 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in z 10.688 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 10.688 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.688 * [taylor]: Taking taylor expansion of x in z 10.688 * [taylor]: Taking taylor expansion of z in z 10.688 * [taylor]: Taking taylor expansion of y in z 10.690 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y)) in y 10.690 * [taylor]: Taking taylor expansion of 1/2 in y 10.690 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) y) in y 10.690 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 10.690 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.690 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.690 * [taylor]: Taking taylor expansion of x in y 10.690 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 10.690 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 10.690 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.690 * [taylor]: Taking taylor expansion of x in y 10.691 * [taylor]: Taking taylor expansion of y in y 10.695 * [taylor]: Taking taylor expansion of 0 in z 10.695 * [taylor]: Taking taylor expansion of 0 in y 10.699 * [taylor]: Taking taylor expansion of 0 in y 10.703 * [taylor]: Taking taylor expansion of 0 in z 10.703 * [taylor]: Taking taylor expansion of 0 in y 10.703 * [taylor]: Taking taylor expansion of 0 in y 10.707 * [taylor]: Taking taylor expansion of 0 in y 10.713 * [taylor]: Taking taylor expansion of 0 in z 10.713 * [taylor]: Taking taylor expansion of 0 in y 10.714 * [taylor]: Taking taylor expansion of 0 in y 10.714 * [taylor]: Taking taylor expansion of 0 in y 10.720 * [taylor]: Taking taylor expansion of 0 in y 10.720 * [approximate]: Taking taylor expansion of (/ (* z (cosh (/ -1 x))) y) in (x z y) around 0 10.720 * [taylor]: Taking taylor expansion of (/ (* z (cosh (/ -1 x))) y) in y 10.720 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in y 10.720 * [taylor]: Taking taylor expansion of z in y 10.720 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in y 10.720 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 10.720 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in y 10.720 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 10.720 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.720 * [taylor]: Taking taylor expansion of -1 in y 10.720 * [taylor]: Taking taylor expansion of x in y 10.721 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in y 10.721 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in y 10.721 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.721 * [taylor]: Taking taylor expansion of -1 in y 10.721 * [taylor]: Taking taylor expansion of x in y 10.721 * [taylor]: Taking taylor expansion of 2 in y 10.721 * [taylor]: Taking taylor expansion of y in y 10.721 * [taylor]: Taking taylor expansion of (/ (* z (cosh (/ -1 x))) y) in z 10.721 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in z 10.721 * [taylor]: Taking taylor expansion of z in z 10.721 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in z 10.721 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 10.721 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in z 10.721 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 10.721 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.721 * [taylor]: Taking taylor expansion of -1 in z 10.721 * [taylor]: Taking taylor expansion of x in z 10.721 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in z 10.721 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in z 10.721 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.721 * [taylor]: Taking taylor expansion of -1 in z 10.721 * [taylor]: Taking taylor expansion of x in z 10.722 * [taylor]: Taking taylor expansion of 2 in z 10.722 * [taylor]: Taking taylor expansion of y in z 10.724 * [taylor]: Taking taylor expansion of (/ (* z (cosh (/ -1 x))) y) in x 10.724 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 10.724 * [taylor]: Taking taylor expansion of z in x 10.725 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 10.725 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 10.725 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 10.725 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.725 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.725 * [taylor]: Taking taylor expansion of -1 in x 10.725 * [taylor]: Taking taylor expansion of x in x 10.725 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 10.725 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 10.725 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.725 * [taylor]: Taking taylor expansion of -1 in x 10.725 * [taylor]: Taking taylor expansion of x in x 10.726 * [taylor]: Taking taylor expansion of 2 in x 10.726 * [taylor]: Taking taylor expansion of y in x 10.726 * [taylor]: Taking taylor expansion of (/ (* z (cosh (/ -1 x))) y) in x 10.726 * [taylor]: Taking taylor expansion of (* z (cosh (/ -1 x))) in x 10.726 * [taylor]: Taking taylor expansion of z in x 10.726 * [taylor]: Taking taylor expansion of (cosh (/ -1 x)) in x 10.726 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) 2) 10.726 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 10.726 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 10.726 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.726 * [taylor]: Taking taylor expansion of -1 in x 10.726 * [taylor]: Taking taylor expansion of x in x 10.727 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 10.727 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 10.727 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.727 * [taylor]: Taking taylor expansion of -1 in x 10.727 * [taylor]: Taking taylor expansion of x in x 10.727 * [taylor]: Taking taylor expansion of 2 in x 10.728 * [taylor]: Taking taylor expansion of y in x 10.728 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* z (+ (exp (/ 1 x)) (exp (/ -1 x)))) y)) in z 10.728 * [taylor]: Taking taylor expansion of 1/2 in z 10.728 * [taylor]: Taking taylor expansion of (/ (* z (+ (exp (/ 1 x)) (exp (/ -1 x)))) y) in z 10.728 * [taylor]: Taking taylor expansion of (* z (+ (exp (/ 1 x)) (exp (/ -1 x)))) in z 10.728 * [taylor]: Taking taylor expansion of z in z 10.728 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in z 10.728 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in z 10.728 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.728 * [taylor]: Taking taylor expansion of x in z 10.728 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in z 10.728 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.728 * [taylor]: Taking taylor expansion of -1 in z 10.728 * [taylor]: Taking taylor expansion of x in z 10.728 * [taylor]: Taking taylor expansion of y in z 10.730 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) y)) in y 10.730 * [taylor]: Taking taylor expansion of 1/2 in y 10.730 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) (exp (/ -1 x))) y) in y 10.730 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y 10.730 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 10.730 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.730 * [taylor]: Taking taylor expansion of x in y 10.730 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 10.730 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.730 * [taylor]: Taking taylor expansion of -1 in y 10.730 * [taylor]: Taking taylor expansion of x in y 10.730 * [taylor]: Taking taylor expansion of y in y 10.732 * [taylor]: Taking taylor expansion of 0 in z 10.732 * [taylor]: Taking taylor expansion of 0 in y 10.735 * [taylor]: Taking taylor expansion of 0 in y 10.739 * [taylor]: Taking taylor expansion of 0 in z 10.739 * [taylor]: Taking taylor expansion of 0 in y 10.739 * [taylor]: Taking taylor expansion of 0 in y 10.744 * [taylor]: Taking taylor expansion of 0 in y 10.749 * [taylor]: Taking taylor expansion of 0 in z 10.749 * [taylor]: Taking taylor expansion of 0 in y 10.749 * [taylor]: Taking taylor expansion of 0 in y 10.749 * [taylor]: Taking taylor expansion of 0 in y 10.755 * [taylor]: Taking taylor expansion of 0 in y 10.755 * * * [progress]: simplifying candidates 10.759 * [simplify]: Simplifying using # : (expm1 (/ (/ (cosh x) (/ z y)) x)) (log1p (/ (/ (cosh x) (/ z y)) x)) (- (- (log (cosh x)) (- (log z) (log y))) (log x)) (- (- (log (cosh x)) (log (/ z y))) (log x)) (- (log (/ (cosh x) (/ z y))) (log x)) (log (/ (/ (cosh x) (/ z y)) x)) (exp (/ (/ (cosh x) (/ z y)) x)) (/ (/ (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* z z) z) (* (* y y) y))) (* (* x x) x)) (/ (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ z y) (/ z y)) (/ z y))) (* (* x x) x)) (/ (* (* (/ (cosh x) (/ z y)) (/ (cosh x) (/ z y))) (/ (cosh x) (/ z y))) (* (* x x) x)) (* (cbrt (/ (/ (cosh x) (/ z y)) x)) (cbrt (/ (/ (cosh x) (/ z y)) x))) (cbrt (/ (/ (cosh x) (/ z y)) x)) (* (* (/ (/ (cosh x) (/ z y)) x) (/ (/ (cosh x) (/ z y)) x)) (/ (/ (cosh x) (/ z y)) x)) (sqrt (/ (/ (cosh x) (/ z y)) x)) (sqrt (/ (/ (cosh x) (/ z y)) x)) (- (/ (cosh x) (/ z y))) (- x) (/ (* (cbrt (/ (cosh x) (/ z y))) (cbrt (/ (cosh x) (/ z y)))) (* (cbrt x) (cbrt x))) (/ (cbrt (/ (cosh x) (/ z y))) (cbrt x)) (/ (* (cbrt (/ (cosh x) (/ z y))) (cbrt (/ (cosh x) (/ z y)))) (sqrt x)) (/ (cbrt (/ (cosh x) (/ z y))) (sqrt x)) (/ (* (cbrt (/ (cosh x) (/ z y))) (cbrt (/ (cosh x) (/ z y)))) 1) (/ (cbrt (/ (cosh x) (/ z y))) x) (/ (sqrt (/ (cosh x) (/ z y))) (* (cbrt x) (cbrt x))) (/ (sqrt (/ (cosh x) (/ z y))) (cbrt x)) (/ (sqrt (/ (cosh x) (/ z y))) (sqrt x)) (/ (sqrt (/ (cosh x) (/ z y))) (sqrt x)) (/ (sqrt (/ (cosh x) (/ z y))) 1) (/ (sqrt (/ (cosh x) (/ z y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ z y)) (cbrt (/ z y)))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (cbrt (/ z y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ z y)) (cbrt (/ z y)))) (sqrt x)) (/ (/ (cbrt (cosh x)) (cbrt (/ z y))) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ z y)) (cbrt (/ z y)))) 1) (/ (/ (cbrt (cosh x)) (cbrt (/ z y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ z y))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (sqrt (/ z y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ z y))) (sqrt x)) (/ (/ (cbrt (cosh x)) (sqrt (/ z y))) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ z y))) 1) (/ (/ (cbrt (cosh x)) (sqrt (/ z y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ (cbrt z) (cbrt y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ (cbrt z) (cbrt y))) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) 1) (/ (/ (cbrt (cosh x)) (/ (cbrt z) (cbrt y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ (cbrt z) (sqrt y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ (cbrt z) (sqrt y))) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (sqrt y))) 1) (/ (/ (cbrt (cosh x)) (/ (cbrt z) (sqrt y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) 1)) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ (cbrt z) y)) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) 1)) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ (cbrt z) y)) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) 1)) 1) (/ (/ (cbrt (cosh x)) (/ (cbrt z) y)) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt y))) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (* (cbrt y) (cbrt y)))) 1) (/ (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ (sqrt z) (sqrt y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (sqrt y))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ (sqrt z) (sqrt y))) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (sqrt y))) 1) (/ (/ (cbrt (cosh x)) (/ (sqrt z) (sqrt y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) 1)) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ (sqrt z) y)) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) 1)) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ (sqrt z) y)) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) 1)) 1) (/ (/ (cbrt (cosh x)) (/ (sqrt z) y)) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ z (cbrt y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ z (cbrt y))) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (* (cbrt y) (cbrt y)))) 1) (/ (/ (cbrt (cosh x)) (/ z (cbrt y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ z (sqrt y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (sqrt y))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ z (sqrt y))) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (sqrt y))) 1) (/ (/ (cbrt (cosh x)) (/ z (sqrt y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 1)) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ z y)) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 1)) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ z y)) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 1)) 1) (/ (/ (cbrt (cosh x)) (/ z y)) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ z y)) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ z y)) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) 1) (/ (/ (cbrt (cosh x)) (/ z y)) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) z) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ 1 y)) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) z) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ 1 y)) (sqrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) z) 1) (/ (/ (cbrt (cosh x)) (/ 1 y)) x) (/ (/ (sqrt (cosh x)) (* (cbrt (/ z y)) (cbrt (/ z y)))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (cbrt (/ z y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (* (cbrt (/ z y)) (cbrt (/ z y)))) (sqrt x)) (/ (/ (sqrt (cosh x)) (cbrt (/ z y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (* (cbrt (/ z y)) (cbrt (/ z y)))) 1) (/ (/ (sqrt (cosh x)) (cbrt (/ z y))) x) (/ (/ (sqrt (cosh x)) (sqrt (/ z y))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (sqrt (/ z y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (sqrt (/ z y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (sqrt (/ z y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (sqrt (/ z y))) 1) (/ (/ (sqrt (cosh x)) (sqrt (/ z y))) x) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ (cbrt z) (cbrt y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (cbrt z) (cbrt y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) 1) (/ (/ (sqrt (cosh x)) (/ (cbrt z) (cbrt y))) x) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ (cbrt z) (sqrt y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (cbrt z) (sqrt y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (sqrt y))) 1) (/ (/ (sqrt (cosh x)) (/ (cbrt z) (sqrt y))) x) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) 1)) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ (cbrt z) y)) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) 1)) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (cbrt z) y)) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) 1)) 1) (/ (/ (sqrt (cosh x)) (/ (cbrt z) y)) x) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (cbrt y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (cbrt y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (* (cbrt y) (cbrt y)))) 1) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (cbrt y))) x) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) 1) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) x) (/ (/ (sqrt (cosh x)) (/ (sqrt z) 1)) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ (sqrt z) y)) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) 1)) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) y)) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) 1)) 1) (/ (/ (sqrt (cosh x)) (/ (sqrt z) y)) x) (/ (/ (sqrt (cosh x)) (/ 1 (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ z (cbrt y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ 1 (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ z (cbrt y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ 1 (* (cbrt y) (cbrt y)))) 1) (/ (/ (sqrt (cosh x)) (/ z (cbrt y))) x) (/ (/ (sqrt (cosh x)) (/ 1 (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ z (sqrt y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ 1 (sqrt y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ z (sqrt y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ 1 (sqrt y))) 1) (/ (/ (sqrt (cosh x)) (/ z (sqrt y))) x) (/ (/ (sqrt (cosh x)) (/ 1 1)) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ z y)) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ 1 1)) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ z y)) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ 1 1)) 1) (/ (/ (sqrt (cosh x)) (/ z y)) x) (/ (/ (sqrt (cosh x)) 1) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ z y)) (cbrt x)) (/ (/ (sqrt (cosh x)) 1) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ z y)) (sqrt x)) (/ (/ (sqrt (cosh x)) 1) 1) (/ (/ (sqrt (cosh x)) (/ z y)) x) (/ (/ (sqrt (cosh x)) z) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ 1 y)) (cbrt x)) (/ (/ (sqrt (cosh x)) z) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ 1 y)) (sqrt x)) (/ (/ (sqrt (cosh x)) z) 1) (/ (/ (sqrt (cosh x)) (/ 1 y)) x) (/ (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y)))) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (cbrt (/ z y))) (cbrt x)) (/ (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y)))) (sqrt x)) (/ (/ (cosh x) (cbrt (/ z y))) (sqrt x)) (/ (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y)))) 1) (/ (/ (cosh x) (cbrt (/ z y))) x) (/ (/ 1 (sqrt (/ z y))) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (sqrt (/ z y))) (cbrt x)) (/ (/ 1 (sqrt (/ z y))) (sqrt x)) (/ (/ (cosh x) (sqrt (/ z y))) (sqrt x)) (/ (/ 1 (sqrt (/ z y))) 1) (/ (/ (cosh x) (sqrt (/ z y))) x) (/ (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ (cbrt z) (cbrt y))) (cbrt x)) (/ (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (cosh x) (/ (cbrt z) (cbrt y))) (sqrt x)) (/ (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) 1) (/ (/ (cosh x) (/ (cbrt z) (cbrt y))) x) (/ (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ (cbrt z) (sqrt y))) (cbrt x)) (/ (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt y))) (sqrt x)) (/ (/ (cosh x) (/ (cbrt z) (sqrt y))) (sqrt x)) (/ (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt y))) 1) (/ (/ (cosh x) (/ (cbrt z) (sqrt y))) x) (/ (/ 1 (/ (* (cbrt z) (cbrt z)) 1)) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ (cbrt z) y)) (cbrt x)) (/ (/ 1 (/ (* (cbrt z) (cbrt z)) 1)) (sqrt x)) (/ (/ (cosh x) (/ (cbrt z) y)) (sqrt x)) (/ (/ 1 (/ (* (cbrt z) (cbrt z)) 1)) 1) (/ (/ (cosh x) (/ (cbrt z) y)) x) (/ (/ 1 (/ (sqrt z) (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ (sqrt z) (cbrt y))) (cbrt x)) (/ (/ 1 (/ (sqrt z) (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (cosh x) (/ (sqrt z) (cbrt y))) (sqrt x)) (/ (/ 1 (/ (sqrt z) (* (cbrt y) (cbrt y)))) 1) (/ (/ (cosh x) (/ (sqrt z) (cbrt y))) x) (/ (/ 1 (/ (sqrt z) (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ (sqrt z) (sqrt y))) (cbrt x)) (/ (/ 1 (/ (sqrt z) (sqrt y))) (sqrt x)) (/ (/ (cosh x) (/ (sqrt z) (sqrt y))) (sqrt x)) (/ (/ 1 (/ (sqrt z) (sqrt y))) 1) (/ (/ (cosh x) (/ (sqrt z) (sqrt y))) x) (/ (/ 1 (/ (sqrt z) 1)) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ (sqrt z) y)) (cbrt x)) (/ (/ 1 (/ (sqrt z) 1)) (sqrt x)) (/ (/ (cosh x) (/ (sqrt z) y)) (sqrt x)) (/ (/ 1 (/ (sqrt z) 1)) 1) (/ (/ (cosh x) (/ (sqrt z) y)) x) (/ (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ z (cbrt y))) (cbrt x)) (/ (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (cosh x) (/ z (cbrt y))) (sqrt x)) (/ (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) 1) (/ (/ (cosh x) (/ z (cbrt y))) x) (/ (/ 1 (/ 1 (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ z (sqrt y))) (cbrt x)) (/ (/ 1 (/ 1 (sqrt y))) (sqrt x)) (/ (/ (cosh x) (/ z (sqrt y))) (sqrt x)) (/ (/ 1 (/ 1 (sqrt y))) 1) (/ (/ (cosh x) (/ z (sqrt y))) x) (/ (/ 1 (/ 1 1)) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ z y)) (cbrt x)) (/ (/ 1 (/ 1 1)) (sqrt x)) (/ (/ (cosh x) (/ z y)) (sqrt x)) (/ (/ 1 (/ 1 1)) 1) (/ (/ (cosh x) (/ z y)) x) (/ (/ 1 1) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ z y)) (cbrt x)) (/ (/ 1 1) (sqrt x)) (/ (/ (cosh x) (/ z y)) (sqrt x)) (/ (/ 1 1) 1) (/ (/ (cosh x) (/ z y)) x) (/ (/ 1 z) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ 1 y)) (cbrt x)) (/ (/ 1 z) (sqrt x)) (/ (/ (cosh x) (/ 1 y)) (sqrt x)) (/ (/ 1 z) 1) (/ (/ (cosh x) (/ 1 y)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ z y)) (cbrt x)) (/ 1 (sqrt x)) (/ (/ (cosh x) (/ z y)) (sqrt x)) (/ 1 1) (/ (/ (cosh x) (/ z y)) x) (/ (cosh x) (* (cbrt x) (cbrt x))) (/ (/ 1 (/ z y)) (cbrt x)) (/ (cosh x) (sqrt x)) (/ (/ 1 (/ z y)) (sqrt x)) (/ (cosh x) 1) (/ (/ 1 (/ z y)) x) (/ (/ (cosh x) z) (* (cbrt x) (cbrt x))) (/ y (cbrt x)) (/ (/ (cosh x) z) (sqrt x)) (/ y (sqrt x)) (/ (/ (cosh x) z) 1) (/ y x) (/ 1 x) (/ x (/ (cosh x) (/ z y))) (/ (/ (cosh x) (/ z y)) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ z y)) (sqrt x)) (/ (/ (cosh x) (/ z y)) 1) (/ x (cbrt (/ (cosh x) (/ z y)))) (/ x (sqrt (/ (cosh x) (/ z y)))) (/ x (/ (cbrt (cosh x)) (cbrt (/ z y)))) (/ x (/ (cbrt (cosh x)) (sqrt (/ z y)))) (/ x (/ (cbrt (cosh x)) (/ (cbrt z) (cbrt y)))) (/ x (/ (cbrt (cosh x)) (/ (cbrt z) (sqrt y)))) (/ x (/ (cbrt (cosh x)) (/ (cbrt z) y))) (/ x (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt y)))) (/ x (/ (cbrt (cosh x)) (/ (sqrt z) (sqrt y)))) (/ x (/ (cbrt (cosh x)) (/ (sqrt z) y))) (/ x (/ (cbrt (cosh x)) (/ z (cbrt y)))) (/ x (/ (cbrt (cosh x)) (/ z (sqrt y)))) (/ x (/ (cbrt (cosh x)) (/ z y))) (/ x (/ (cbrt (cosh x)) (/ z y))) (/ x (/ (cbrt (cosh x)) (/ 1 y))) (/ x (/ (sqrt (cosh x)) (cbrt (/ z y)))) (/ x (/ (sqrt (cosh x)) (sqrt (/ z y)))) (/ x (/ (sqrt (cosh x)) (/ (cbrt z) (cbrt y)))) (/ x (/ (sqrt (cosh x)) (/ (cbrt z) (sqrt y)))) (/ x (/ (sqrt (cosh x)) (/ (cbrt z) y))) (/ x (/ (sqrt (cosh x)) (/ (sqrt z) (cbrt y)))) (/ x (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y)))) (/ x (/ (sqrt (cosh x)) (/ (sqrt z) y))) (/ x (/ (sqrt (cosh x)) (/ z (cbrt y)))) (/ x (/ (sqrt (cosh x)) (/ z (sqrt y)))) (/ x (/ (sqrt (cosh x)) (/ z y))) (/ x (/ (sqrt (cosh x)) (/ z y))) (/ x (/ (sqrt (cosh x)) (/ 1 y))) (/ x (/ (cosh x) (cbrt (/ z y)))) (/ x (/ (cosh x) (sqrt (/ z y)))) (/ x (/ (cosh x) (/ (cbrt z) (cbrt y)))) (/ x (/ (cosh x) (/ (cbrt z) (sqrt y)))) (/ x (/ (cosh x) (/ (cbrt z) y))) (/ x (/ (cosh x) (/ (sqrt z) (cbrt y)))) (/ x (/ (cosh x) (/ (sqrt z) (sqrt y)))) (/ x (/ (cosh x) (/ (sqrt z) y))) (/ x (/ (cosh x) (/ z (cbrt y)))) (/ x (/ (cosh x) (/ z (sqrt y)))) (/ x (/ (cosh x) (/ z y))) (/ x (/ (cosh x) (/ z y))) (/ x (/ (cosh x) (/ 1 y))) (/ x (/ (cosh x) (/ z y))) (/ x (/ 1 (/ z y))) (/ x y) (* x (/ z y)) (expm1 (/ (cosh x) (/ z y))) (log1p (/ (cosh x) (/ z y))) (- (log (cosh x)) (- (log z) (log y))) (- (log (cosh x)) (log (/ z y))) (log (/ (cosh x) (/ z y))) (exp (/ (cosh x) (/ z y))) (/ (* (* (cosh x) (cosh x)) (cosh x)) (/ (* (* z z) z) (* (* y y) y))) (/ (* (* (cosh x) (cosh x)) (cosh x)) (* (* (/ z y) (/ z y)) (/ z y))) (* (cbrt (/ (cosh x) (/ z y))) (cbrt (/ (cosh x) (/ z y)))) (cbrt (/ (cosh x) (/ z y))) (* (* (/ (cosh x) (/ z y)) (/ (cosh x) (/ z y))) (/ (cosh x) (/ z y))) (sqrt (/ (cosh x) (/ z y))) (sqrt (/ (cosh x) (/ z y))) (- (cosh x)) (- (/ z y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (cbrt (cosh x)) (cbrt (/ z y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ z y))) (/ (cbrt (cosh x)) (sqrt (/ z y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (cbrt (cosh x)) (/ (cbrt z) (cbrt y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (cbrt (cosh x)) (/ (cbrt z) (sqrt y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) 1)) (/ (cbrt (cosh x)) (/ (cbrt z) y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (sqrt y))) (/ (cbrt (cosh x)) (/ (sqrt z) (sqrt y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) 1)) (/ (cbrt (cosh x)) (/ (sqrt z) y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (* (cbrt y) (cbrt y)))) (/ (cbrt (cosh x)) (/ z (cbrt y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 (sqrt y))) (/ (cbrt (cosh x)) (/ z (sqrt y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ 1 1)) (/ (cbrt (cosh x)) (/ z y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) 1) (/ (cbrt (cosh x)) (/ z y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) z) (/ (cbrt (cosh x)) (/ 1 y)) (/ (sqrt (cosh x)) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (sqrt (cosh x)) (cbrt (/ z y))) (/ (sqrt (cosh x)) (sqrt (/ z y))) (/ (sqrt (cosh x)) (sqrt (/ z y))) (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (sqrt (cosh x)) (/ (cbrt z) (cbrt y))) (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (sqrt (cosh x)) (/ (cbrt z) (sqrt y))) (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) 1)) (/ (sqrt (cosh x)) (/ (cbrt z) y)) (/ (sqrt (cosh x)) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ (sqrt (cosh x)) (/ (sqrt z) (cbrt y))) (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (/ (sqrt (cosh x)) (/ (sqrt z) 1)) (/ (sqrt (cosh x)) (/ (sqrt z) y)) (/ (sqrt (cosh x)) (/ 1 (* (cbrt y) (cbrt y)))) (/ (sqrt (cosh x)) (/ z (cbrt y))) (/ (sqrt (cosh x)) (/ 1 (sqrt y))) (/ (sqrt (cosh x)) (/ z (sqrt y))) (/ (sqrt (cosh x)) (/ 1 1)) (/ (sqrt (cosh x)) (/ z y)) (/ (sqrt (cosh x)) 1) (/ (sqrt (cosh x)) (/ z y)) (/ (sqrt (cosh x)) z) (/ (sqrt (cosh x)) (/ 1 y)) (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (cosh x) (cbrt (/ z y))) (/ 1 (sqrt (/ z y))) (/ (cosh x) (sqrt (/ z y))) (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (cosh x) (/ (cbrt z) (cbrt y))) (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (cosh x) (/ (cbrt z) (sqrt y))) (/ 1 (/ (* (cbrt z) (cbrt z)) 1)) (/ (cosh x) (/ (cbrt z) y)) (/ 1 (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ (cosh x) (/ (sqrt z) (cbrt y))) (/ 1 (/ (sqrt z) (sqrt y))) (/ (cosh x) (/ (sqrt z) (sqrt y))) (/ 1 (/ (sqrt z) 1)) (/ (cosh x) (/ (sqrt z) y)) (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (/ (cosh x) (/ z (cbrt y))) (/ 1 (/ 1 (sqrt y))) (/ (cosh x) (/ z (sqrt y))) (/ 1 (/ 1 1)) (/ (cosh x) (/ z y)) (/ 1 1) (/ (cosh x) (/ z y)) (/ 1 z) (/ (cosh x) (/ 1 y)) (/ 1 (/ z y)) (/ (/ z y) (cosh x)) (/ (cosh x) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (cosh x) (sqrt (/ z y))) (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (cosh x) (/ (* (cbrt z) (cbrt z)) 1)) (/ (cosh x) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ (cosh x) (/ (sqrt z) (sqrt y))) (/ (cosh x) (/ (sqrt z) 1)) (/ (cosh x) (/ 1 (* (cbrt y) (cbrt y)))) (/ (cosh x) (/ 1 (sqrt y))) (/ (cosh x) (/ 1 1)) (/ (cosh x) 1) (/ (cosh x) z) (/ (/ z y) (cbrt (cosh x))) (/ (/ z y) (sqrt (cosh x))) (/ (/ z y) (cosh x)) (/ (cosh x) z) (* (/ z y) 2) (+ (* 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 z) (* 1/2 (/ (* (pow x 2) y) z))) (* 1/2 (/ (* (+ (exp x) (exp (- x))) y) z)) (* 1/2 (/ (* y (+ (exp (* -1 x)) (exp x))) z)) 10.784 * * [simplify]: iteration 0 : 503 enodes (cost 4873 ) 10.969 * * [simplify]: iteration 1 : 1221 enodes (cost 4549 ) 11.670 * * [simplify]: iteration 2 : 4409 enodes (cost 4404 ) 12.237 * * [simplify]: iteration done : 5000 enodes (cost 4404 ) 12.239 * [simplify]: Simplified to: (expm1 (/ (/ (cosh x) (/ z y)) x)) (log1p (/ (/ (cosh x) (/ z y)) x)) (log (/ (/ (cosh x) (/ z y)) x)) (log (/ (/ (cosh x) (/ z y)) x)) (log (/ (/ (cosh x) (/ z y)) x)) (log (/ (/ (cosh x) (/ z y)) x)) (exp (/ (/ (cosh x) (/ z y)) x)) (pow (/ (/ (cosh x) (/ z y)) x) 3) (pow (/ (/ (cosh x) (/ z y)) x) 3) (pow (/ (/ (cosh x) (/ z y)) x) 3) (* (cbrt (/ (/ (cosh x) (/ z y)) x)) (cbrt (/ (/ (cosh x) (/ z y)) x))) (cbrt (/ (/ (cosh x) (/ z y)) x)) (pow (/ (/ (cosh x) (/ z y)) x) 3) (sqrt (/ (/ (cosh x) (/ z y)) x)) (sqrt (/ (/ (cosh x) (/ z y)) x)) (- (/ (cosh x) (/ z y))) (- x) (/ (* (cbrt (/ (cosh x) (/ z y))) (cbrt (/ (cosh x) (/ z y)))) (* (cbrt x) (cbrt x))) (/ (cbrt (/ (cosh x) (/ z y))) (cbrt x)) (/ (* (cbrt (/ (cosh x) (/ z y))) (cbrt (/ (cosh x) (/ z y)))) (sqrt x)) (/ (cbrt (/ (cosh x) (/ z y))) (sqrt x)) (* (cbrt (/ (cosh x) (/ z y))) (cbrt (/ (cosh x) (/ z y)))) (/ (cbrt (/ (cosh x) (/ z y))) x) (/ (sqrt (/ (cosh x) (/ z y))) (* (cbrt x) (cbrt x))) (/ (sqrt (/ (cosh x) (/ z y))) (cbrt x)) (/ (sqrt (/ (cosh x) (/ z y))) (sqrt x)) (/ (sqrt (/ (cosh x) (/ z y))) (sqrt x)) (sqrt (/ (cosh x) (/ z y))) (/ (sqrt (/ (cosh x) (/ z y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ z y)) (cbrt (/ z y)))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (cbrt (/ z y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ z y)) (cbrt (/ z y)))) (sqrt x)) (/ (/ (cbrt (cosh x)) (cbrt (/ z y))) (sqrt x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (/ (cbrt (cosh x)) (cbrt (/ z y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ z y))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (sqrt (/ z y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ z y))) (sqrt x)) (/ (/ (cbrt (cosh x)) (sqrt (/ z y))) (sqrt x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ z y))) (/ (/ (cbrt (cosh x)) (sqrt (/ z y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ (cbrt z) (cbrt y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ (cbrt z) (cbrt y))) (sqrt x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (/ (cbrt (cosh x)) (/ (cbrt z) (cbrt y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ (cbrt z) (sqrt y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ (cbrt z) (sqrt y))) (sqrt x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (/ (cbrt (cosh x)) (/ (cbrt z) (sqrt y))) x) (/ (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt z) (cbrt z))) (cbrt x)) (cbrt x)) (/ (/ (cbrt (cosh x)) (/ (cbrt z) y)) (cbrt x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (sqrt x) (* (cbrt z) (cbrt z)))) (/ (/ (cbrt (cosh x)) (/ (cbrt z) y)) (sqrt x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt z) (cbrt z))) (/ (/ (cbrt (cosh x)) (/ (cbrt z) y)) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt y))) (sqrt x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ (sqrt z) (sqrt y))) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (sqrt y))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ (sqrt z) (sqrt y))) (sqrt x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (sqrt y))) (/ (/ (cbrt (cosh x)) (/ (sqrt z) (sqrt y))) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt z)) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ (sqrt z) y)) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt z)) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ (sqrt z) y)) (sqrt x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt z)) (/ (/ (cbrt (cosh x)) (/ (sqrt z) y)) x) (/ (* (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ z (cbrt y))) (cbrt x)) (/ (* (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ z (cbrt y))) (sqrt x)) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (/ (cbrt (cosh x)) (/ z (cbrt y))) x) (/ (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ z (sqrt y))) (cbrt x)) (/ (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ z (sqrt y))) (sqrt x)) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (/ (cbrt (cosh x)) (/ z (sqrt y))) x) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ z y)) (cbrt x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ z y)) (sqrt x)) (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (/ (cbrt (cosh x)) (/ z y)) x) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt (cosh x)) (/ z y)) (cbrt x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt x)) (/ (/ (cbrt (cosh x)) (/ z y)) (sqrt x)) (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (/ (cbrt (cosh x)) (/ z y)) x) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) z) (* (cbrt x) (cbrt x))) (/ (* (cbrt (cosh x)) y) (cbrt x)) (/ (/ (* (cbrt (cosh x)) (cbrt (cosh x))) z) (sqrt x)) (/ (* (cbrt (cosh x)) y) (sqrt x)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) z) (/ (cbrt (cosh x)) (/ x y)) (/ (/ (sqrt (cosh x)) (* (cbrt (/ z y)) (cbrt (/ z y)))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (cbrt (/ z y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (* (cbrt (/ z y)) (cbrt (/ z y)))) (sqrt x)) (/ (/ (sqrt (cosh x)) (cbrt (/ z y))) (sqrt x)) (/ (sqrt (cosh x)) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (/ (sqrt (cosh x)) (cbrt (/ z y))) x) (/ (/ (sqrt (cosh x)) (sqrt (/ z y))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (sqrt (/ z y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (sqrt (/ z y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (sqrt (/ z y))) (sqrt x)) (/ (sqrt (cosh x)) (sqrt (/ z y))) (/ (/ (sqrt (cosh x)) (sqrt (/ z y))) x) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ (cbrt z) (cbrt y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (cbrt z) (cbrt y))) (sqrt x)) (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (/ (sqrt (cosh x)) (/ (cbrt z) (cbrt y))) x) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ (cbrt z) (sqrt y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (cbrt z) (sqrt y))) (sqrt x)) (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (/ (sqrt (cosh x)) (/ (cbrt z) (sqrt y))) x) (/ (/ (sqrt (cosh x)) (* (cbrt z) (cbrt z))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ (cbrt z) y)) (cbrt x)) (/ (/ (sqrt (cosh x)) (* (cbrt z) (cbrt z))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (cbrt z) y)) (sqrt x)) (/ (sqrt (cosh x)) (* (cbrt z) (cbrt z))) (/ (/ (sqrt (cosh x)) (/ (cbrt z) y)) x) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (cbrt y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (cbrt y))) (sqrt x)) (/ (sqrt (cosh x)) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (cbrt y))) x) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (cbrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (sqrt x)) (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (/ (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) x) (/ (/ (sqrt (cosh x)) (sqrt z)) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ (sqrt z) y)) (cbrt x)) (/ (/ (sqrt (cosh x)) (sqrt z)) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) y)) (sqrt x)) (/ (sqrt (cosh x)) (sqrt z)) (/ (/ (sqrt (cosh x)) (/ (sqrt z) y)) x) (/ (* (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ z (cbrt y))) (cbrt x)) (/ (* (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ z (cbrt y))) (sqrt x)) (* (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (/ (sqrt (cosh x)) (/ z (cbrt y))) x) (/ (* (sqrt (cosh x)) (sqrt y)) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ z (sqrt y))) (cbrt x)) (/ (* (sqrt (cosh x)) (sqrt y)) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ z (sqrt y))) (sqrt x)) (* (sqrt (cosh x)) (sqrt y)) (/ (/ (sqrt (cosh x)) (/ z (sqrt y))) x) (/ (sqrt (cosh x)) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ z y)) (cbrt x)) (/ (sqrt (cosh x)) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ z y)) (sqrt x)) (sqrt (cosh x)) (/ (/ (sqrt (cosh x)) (/ z y)) x) (/ (sqrt (cosh x)) (* (cbrt x) (cbrt x))) (/ (/ (sqrt (cosh x)) (/ z y)) (cbrt x)) (/ (sqrt (cosh x)) (sqrt x)) (/ (/ (sqrt (cosh x)) (/ z y)) (sqrt x)) (sqrt (cosh x)) (/ (/ (sqrt (cosh x)) (/ z y)) x) (/ (/ (sqrt (cosh x)) z) (* (cbrt x) (cbrt x))) (/ (* (sqrt (cosh x)) y) (cbrt x)) (/ (/ (sqrt (cosh x)) z) (sqrt x)) (/ (* (sqrt (cosh x)) y) (sqrt x)) (/ (sqrt (cosh x)) z) (/ (* (sqrt (cosh x)) y) x) (/ (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y)))) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (cbrt (/ z y))) (cbrt x)) (/ (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y)))) (sqrt x)) (/ (/ (cosh x) (cbrt (/ z y))) (sqrt x)) (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (/ (cosh x) (cbrt (/ z y))) x) (/ (/ 1 (sqrt (/ z y))) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (sqrt (/ z y))) (cbrt x)) (/ (/ 1 (sqrt (/ z y))) (sqrt x)) (/ (/ (cosh x) (sqrt (/ z y))) (sqrt x)) (/ 1 (sqrt (/ z y))) (/ (/ (cosh x) (sqrt (/ z y))) x) (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ (cbrt z) (cbrt y))) (cbrt x)) (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (sqrt x)) (/ (/ (cosh x) (/ (cbrt z) (cbrt y))) (sqrt x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (/ (cosh x) (/ (cbrt z) (cbrt y))) x) (/ (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) (cbrt x)) (cbrt x)) (/ (/ (cosh x) (/ (cbrt z) (sqrt y))) (cbrt x)) (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) (sqrt x)) (/ (/ (cosh x) (/ (cbrt z) (sqrt y))) (sqrt x)) (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (/ (cosh x) (/ (cbrt z) (sqrt y))) x) (/ (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ (cbrt z) y)) (cbrt x)) (/ (/ 1 (* (cbrt z) (cbrt z))) (sqrt x)) (/ (/ (cosh x) (/ (cbrt z) y)) (sqrt x)) (/ 1 (* (cbrt z) (cbrt z))) (/ (/ (cosh x) (/ (cbrt z) y)) x) (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ (sqrt z) (cbrt y))) (cbrt x)) (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) (sqrt x)) (/ (/ (cosh x) (/ (sqrt z) (cbrt y))) (sqrt x)) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (/ (cosh x) (/ (sqrt z) (cbrt y))) x) (/ (/ (sqrt y) (sqrt z)) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ (sqrt z) (sqrt y))) (cbrt x)) (/ (/ (sqrt y) (sqrt z)) (sqrt x)) (/ (/ (cosh x) (/ (sqrt z) (sqrt y))) (sqrt x)) (/ (sqrt y) (sqrt z)) (/ (/ (cosh x) (/ (sqrt z) (sqrt y))) x) (/ (/ (/ 1 (sqrt z)) (cbrt x)) (cbrt x)) (/ (/ (cosh x) (/ (sqrt z) y)) (cbrt x)) (/ (/ 1 (sqrt z)) (sqrt x)) (/ (/ (cosh x) (/ (sqrt z) y)) (sqrt x)) (/ 1 (sqrt z)) (/ (/ (cosh x) (/ (sqrt z) y)) x) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ z (cbrt y))) (cbrt x)) (/ (* (cbrt y) (cbrt y)) (sqrt x)) (/ (/ (cosh x) (/ z (cbrt y))) (sqrt x)) (* (cbrt y) (cbrt y)) (/ (/ (cosh x) (/ z (cbrt y))) x) (/ (sqrt y) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ z (sqrt y))) (cbrt x)) (/ (sqrt y) (sqrt x)) (/ (/ (cosh x) (/ z (sqrt y))) (sqrt x)) (sqrt y) (/ (/ (cosh x) (/ z (sqrt y))) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ z y)) (cbrt x)) (/ 1 (sqrt x)) (/ (/ (cosh x) (/ z y)) (sqrt x)) 1 (/ (/ (cosh x) (/ z y)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ z y)) (cbrt x)) (/ 1 (sqrt x)) (/ (/ (cosh x) (/ z y)) (sqrt x)) 1 (/ (/ (cosh x) (/ z y)) x) (/ (/ 1 z) (* (cbrt x) (cbrt x))) (/ (* (cosh x) y) (cbrt x)) (/ (/ 1 z) (sqrt x)) (/ (* (cosh x) y) (sqrt x)) (/ 1 z) (/ (* (cosh x) y) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ z y)) (cbrt x)) (/ 1 (sqrt x)) (/ (/ (cosh x) (/ z y)) (sqrt x)) 1 (/ (/ (cosh x) (/ z y)) x) (/ (cosh x) (* (cbrt x) (cbrt x))) (/ (/ 1 (/ z y)) (cbrt x)) (/ (cosh x) (sqrt x)) (/ (/ 1 (/ z y)) (sqrt x)) (cosh x) (/ (/ 1 (/ z y)) x) (/ (/ (cosh x) z) (* (cbrt x) (cbrt x))) (/ y (cbrt x)) (/ (/ (cosh x) z) (sqrt x)) (/ y (sqrt x)) (/ (cosh x) z) (/ y x) (/ 1 x) (/ x (/ (cosh x) (/ z y))) (/ (/ (cosh x) (/ z y)) (* (cbrt x) (cbrt x))) (/ (/ (cosh x) (/ z y)) (sqrt x)) (/ (cosh x) (/ z y)) (/ x (cbrt (/ (cosh x) (/ z y)))) (/ x (sqrt (/ (cosh x) (/ z y)))) (/ x (/ (cbrt (cosh x)) (cbrt (/ z y)))) (/ x (/ (cbrt (cosh x)) (sqrt (/ z y)))) (/ x (/ (cbrt (cosh x)) (/ (cbrt z) (cbrt y)))) (/ x (/ (cbrt (cosh x)) (/ (cbrt z) (sqrt y)))) (/ x (/ (cbrt (cosh x)) (/ (cbrt z) y))) (/ x (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt y)))) (/ x (/ (cbrt (cosh x)) (/ (sqrt z) (sqrt y)))) (/ x (/ (cbrt (cosh x)) (/ (sqrt z) y))) (/ x (/ (cbrt (cosh x)) (/ z (cbrt y)))) (/ x (/ (cbrt (cosh x)) (/ z (sqrt y)))) (/ x (/ (cbrt (cosh x)) (/ z y))) (/ x (/ (cbrt (cosh x)) (/ z y))) (/ (/ x (cbrt (cosh x))) y) (/ x (/ (sqrt (cosh x)) (cbrt (/ z y)))) (/ x (/ (sqrt (cosh x)) (sqrt (/ z y)))) (/ x (/ (sqrt (cosh x)) (/ (cbrt z) (cbrt y)))) (/ x (/ (sqrt (cosh x)) (/ (cbrt z) (sqrt y)))) (/ x (/ (sqrt (cosh x)) (/ (cbrt z) y))) (/ x (/ (sqrt (cosh x)) (/ (sqrt z) (cbrt y)))) (/ x (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y)))) (/ x (/ (sqrt (cosh x)) (/ (sqrt z) y))) (/ x (/ (sqrt (cosh x)) (/ z (cbrt y)))) (/ x (/ (sqrt (cosh x)) (/ z (sqrt y)))) (/ x (/ (sqrt (cosh x)) (/ z y))) (/ x (/ (sqrt (cosh x)) (/ z y))) (/ x (* (sqrt (cosh x)) y)) (/ x (/ (cosh x) (cbrt (/ z y)))) (/ x (/ (cosh x) (sqrt (/ z y)))) (/ x (/ (cosh x) (/ (cbrt z) (cbrt y)))) (/ x (/ (cosh x) (/ (cbrt z) (sqrt y)))) (/ x (/ (cosh x) (/ (cbrt z) y))) (/ x (/ (cosh x) (/ (sqrt z) (cbrt y)))) (/ x (/ (cosh x) (/ (sqrt z) (sqrt y)))) (/ x (/ (cosh x) (/ (sqrt z) y))) (/ x (/ (cosh x) (/ z (cbrt y)))) (/ x (/ (cosh x) (/ z (sqrt y)))) (/ x (/ (cosh x) (/ z y))) (/ x (/ (cosh x) (/ z y))) (/ x (* (cosh x) y)) (/ x (/ (cosh x) (/ z y))) (/ x (/ y z)) (/ x y) (/ x (/ y z)) (expm1 (/ (cosh x) (/ z y))) (log1p (/ (cosh x) (/ z y))) (log (/ (cosh x) (/ z y))) (log (/ (cosh x) (/ z y))) (log (/ (cosh x) (/ z y))) (exp (/ (cosh x) (/ z y))) (pow (/ (cosh x) (/ z y)) 3) (pow (/ (cosh x) (/ z y)) 3) (* (cbrt (/ (cosh x) (/ z y))) (cbrt (/ (cosh x) (/ z y)))) (cbrt (/ (cosh x) (/ z y))) (pow (/ (cosh x) (/ z y)) 3) (sqrt (/ (cosh x) (/ z y))) (sqrt (/ (cosh x) (/ z y))) (- (cosh x)) (- (/ z y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (cbrt (cosh x)) (cbrt (/ z y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt (/ z y))) (/ (cbrt (cosh x)) (sqrt (/ z y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (cbrt (cosh x)) (/ (cbrt z) (cbrt y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (cbrt (cosh x)) (/ (cbrt z) (sqrt y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt z) (cbrt z))) (/ (cbrt (cosh x)) (/ (cbrt z) y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ (cbrt (cosh x)) (/ (sqrt z) (cbrt y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (sqrt z) (sqrt y))) (/ (cbrt (cosh x)) (/ (sqrt z) (sqrt y))) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt z)) (/ (cbrt (cosh x)) (/ (sqrt z) y)) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (* (cbrt y) (cbrt y))) (/ (cbrt (cosh x)) (/ z (cbrt y))) (* (* (cbrt (cosh x)) (cbrt (cosh x))) (sqrt y)) (/ (cbrt (cosh x)) (/ z (sqrt y))) (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (cbrt (cosh x)) (/ z y)) (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (cbrt (cosh x)) (/ z y)) (/ (* (cbrt (cosh x)) (cbrt (cosh x))) z) (* (cbrt (cosh x)) y) (/ (sqrt (cosh x)) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (sqrt (cosh x)) (cbrt (/ z y))) (/ (sqrt (cosh x)) (sqrt (/ z y))) (/ (sqrt (cosh x)) (sqrt (/ z y))) (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (sqrt (cosh x)) (/ (cbrt z) (cbrt y))) (/ (sqrt (cosh x)) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (sqrt (cosh x)) (/ (cbrt z) (sqrt y))) (/ (sqrt (cosh x)) (* (cbrt z) (cbrt z))) (/ (sqrt (cosh x)) (/ (cbrt z) y)) (/ (sqrt (cosh x)) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ (sqrt (cosh x)) (/ (sqrt z) (cbrt y))) (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (/ (sqrt (cosh x)) (/ (sqrt z) (sqrt y))) (/ (sqrt (cosh x)) (sqrt z)) (/ (sqrt (cosh x)) (/ (sqrt z) y)) (* (sqrt (cosh x)) (* (cbrt y) (cbrt y))) (/ (sqrt (cosh x)) (/ z (cbrt y))) (* (sqrt (cosh x)) (sqrt y)) (/ (sqrt (cosh x)) (/ z (sqrt y))) (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ z y)) (sqrt (cosh x)) (/ (sqrt (cosh x)) (/ z y)) (/ (sqrt (cosh x)) z) (* (sqrt (cosh x)) y) (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (cosh x) (cbrt (/ z y))) (/ 1 (sqrt (/ z y))) (/ (cosh x) (sqrt (/ z y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cosh x) (/ (cbrt z) (cbrt y))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (cosh x) (/ (cbrt z) (sqrt y))) (/ 1 (* (cbrt z) (cbrt z))) (/ (cosh x) (/ (cbrt z) y)) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cosh x) (/ (sqrt z) (cbrt y))) (/ (sqrt y) (sqrt z)) (/ (cosh x) (/ (sqrt z) (sqrt y))) (/ 1 (sqrt z)) (/ (cosh x) (/ (sqrt z) y)) (* (cbrt y) (cbrt y)) (/ (cosh x) (/ z (cbrt y))) (sqrt y) (/ (cosh x) (/ z (sqrt y))) 1 (/ (cosh x) (/ z y)) 1 (/ (cosh x) (/ z y)) (/ 1 z) (* (cosh x) y) (/ 1 (/ z y)) (/ (/ z y) (cosh x)) (/ (cosh x) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (cosh x) (sqrt (/ z y))) (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (cosh x) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (cosh x) (* (cbrt z) (cbrt z))) (/ (cosh x) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ (cosh x) (/ (sqrt z) (sqrt y))) (/ (cosh x) (sqrt z)) (* (cosh x) (* (cbrt y) (cbrt y))) (* (cosh x) (sqrt y)) (cosh x) (cosh x) (/ (cosh x) z) (/ (/ z y) (cbrt (cosh x))) (/ (/ z y) (sqrt (cosh x))) (/ (/ z y) (cosh x)) (/ (cosh x) z) (* (/ z y) 2) (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 (/ (* (pow x 2) y) z) 1/2 (/ y z)) (/ (* y (* 1/2 (+ (exp x) (exp (- x))))) z) (/ (* y (* 1/2 (+ (exp x) (exp (- x))))) z) 12.241 * * * [progress]: adding candidates to table 13.065 * [progress]: [Phase 3 of 3] Extracting. 13.065 * * [regime]: Finding splitpoints for: (# # # # # # #) 13.066 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 13.066 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 13.104 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 13.142 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 13.182 * * * [regime]: Found split indices: #