csc acot Pow Pow tanh x0 Mul x0 E -2 
Mul Mul Mul -1 cot acot Pow Pow tanh x0 Mul x0 E -2 csc acot Pow Pow tanh x0 Mul x0 E -2 Mul -1 Mul Mul Pow Pow tanh x0 Mul x0 E 3 Mul -2 Mul Pow tanh x0 Add Mul x0 E -1 Add Mul Mul x0 E Pow sech x0 2 Mul Mul tanh x0 log tanh x0 E Pow Add 1 Mul Pow Pow tanh x0 Mul x0 E -2 Pow Pow tanh x0 Mul x0 E -2 -1 