Mul acot Mul asech pi cosh Add -1 exp x0 atanh Mul x0 pi 
Add Mul atanh Mul x0 pi Mul -1 Mul Mul asech pi Mul sinh Add -1 exp x0 exp x0 Pow Add 1 Mul Mul asech pi cosh Add -1 exp x0 Mul asech pi cosh Add -1 exp x0 -1 Mul acot Mul asech pi cosh Add -1 exp x0 Mul pi Pow Add 1 Mul -1 Mul Mul x0 pi Mul x0 pi -1 