cos acos Mul E Mul Pow coth asinh E x0 Add pi x0 
Mul Mul -1 sin acos Mul E Mul Pow coth asinh E x0 Add pi x0 Mul -1 Mul Mul E Add Mul Add pi x0 Mul Pow coth asinh E Add x0 -1 Mul coth asinh E log coth asinh E Pow coth asinh E x0 Pow sqrt Add 1 Mul -1 Mul Mul E Mul Pow coth asinh E x0 Add pi x0 Mul E Mul Pow coth asinh E x0 Add pi x0 -1 