Mul Pow Mul Pow sech coth x0 x0 0.500000000000000 acos Mul Pow -3 x1 x4 5 
Mul 5 Mul Pow Mul Pow sech coth x0 x0 0.500000000000000 Add acos Mul Pow -3 x1 x4 -1 Mul acos Mul Pow -3 x1 x4 Mul 0.500000000000000 Mul Pow sech coth x0 Add x0 -1 Add Mul x0 Mul Mul tanh coth x0 Mul -1 sech coth x0 Mul -1 Pow csch x0 2 Mul sech coth x0 log sech coth x0 