csch Pow Mul Mul sqrt x0 acot x0 x2 x5 
Mul Mul Mul -1 coth Pow Mul Mul sqrt x0 acot x0 x2 x5 csch Pow Mul Mul sqrt x0 acot x0 x2 x5 Mul Pow Mul Mul sqrt x0 acot x0 x2 Add x5 -1 Mul x5 Mul x2 Add Mul acot x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul -1 Pow Add 1 Mul x0 x0 -1 