Mul sec acosh Mul pi x0 coth log x0 
Add Mul coth log x0 Mul Mul tan acosh Mul pi x0 sec acosh Mul pi x0 Mul pi Pow Mul sqrt Add Mul pi x0 -1 sqrt Add 1 Mul pi x0 -1 Mul sec acosh Mul pi x0 Mul Mul -1 Pow csch log x0 2 Pow x0 -1 