Mul Pow Add coth tanh x0 Add E asech log x3 Mul x0 -2 Pow x0 x6 
Add Mul Pow x0 x6 Mul Pow Add coth tanh x0 Add E asech log x3 Add Mul x0 -2 -1 Add Mul Mul x0 -2 Mul Mul -1 Pow csch tanh x0 2 Pow sech x0 2 Mul Mul Add coth tanh x0 Add E asech log x3 log Add coth tanh x0 Add E asech log x3 -2 Mul Pow Add coth tanh x0 Add E asech log x3 Mul x0 -2 Mul Pow x0 Add x6 -1 x6 