Mul cosh Add pi x0 Mul asinh acos Pow log x0 acoth x0 pi 
Add Mul Mul asinh acos Pow log x0 acoth x0 pi sinh Add pi x0 Mul cosh Add pi x0 Mul pi Mul Mul -1 Mul Mul Pow log x0 Add acoth x0 -1 Add Mul acoth x0 Pow x0 -1 Mul Mul log x0 log log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow log x0 acoth x0 Pow log x0 acoth x0 -1 Pow sqrt Add 1 Mul acos Pow log x0 acoth x0 acos Pow log x0 acoth x0 -1 