Pow acos x5 acoth tan Add acsch pi x0 
Mul Pow acos x5 Add acoth tan Add acsch pi x0 -1 Mul Mul acos x5 log acos x5 Mul Pow sec Add acsch pi x0 2 Pow Add 1 Mul -1 Mul tan Add acsch pi x0 tan Add acsch pi x0 -1 