sqrt Mul sec x4 csch csch acot x0 
Mul Pow Mul 2 sqrt Mul sec x4 csch csch acot x0 -1 Mul sec x4 Mul Mul Mul -1 coth csch acot x0 csch csch acot x0 Mul Mul Mul -1 coth acot x0 csch acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 