acot Pow Add exp sinh sec sinh atan x0 pi Mul asec x3 x0 
Mul -1 Mul Mul Pow Add exp sinh sec sinh atan x0 pi Add Mul asec x3 x0 -1 Add Mul Mul asec x3 x0 Mul exp sinh sec sinh atan x0 Mul cosh sec sinh atan x0 Mul Mul tan sinh atan x0 sec sinh atan x0 Mul cosh atan x0 Pow Add 1 Mul x0 x0 -1 Mul Mul Add exp sinh sec sinh atan x0 pi log Add exp sinh sec sinh atan x0 pi asec x3 Pow Add 1 Mul Pow Add exp sinh sec sinh atan x0 pi Mul asec x3 x0 Pow Add exp sinh sec sinh atan x0 pi Mul asec x3 x0 -1 