Mul acsch tanh Mul x3 x0 csch csc x0 
Add Mul csch csc x0 Mul Mul -1 Mul Pow sech Mul x3 x0 2 x3 Pow Mul Mul tanh Mul x3 x0 tanh Mul x3 x0 sqrt Add 1 Mul -1 Pow Mul tanh Mul x3 x0 tanh Mul x3 x0 -1 -1 Mul acsch tanh Mul x3 x0 Mul Mul Mul -1 coth csc x0 csch csc x0 Mul Mul -1 cot x0 csc x0 