Mul log atanh x2 sin sqrt acsch Pow acot x0 -1 
Mul log atanh x2 Mul cos sqrt acsch Pow acot x0 -1 Mul Pow Mul 2 sqrt acsch Pow acot x0 -1 -1 Mul Mul -1 Mul Pow acot x0 2 Mul -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Pow acot x0 -1 Pow acot x0 -1 sqrt Add 1 Mul -1 Pow Mul Pow acot x0 -1 Pow acot x0 -1 -1 -1 