Pow coth exp Add Mul -3 acsch x4 Add x4 tanh x0 x0 
Mul Pow coth exp Add Mul -3 acsch x4 Add x4 tanh x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch exp Add Mul -3 acsch x4 Add x4 tanh x0 2 Mul exp Add Mul -3 acsch x4 Add x4 tanh x0 Pow sech x0 2 Mul coth exp Add Mul -3 acsch x4 Add x4 tanh x0 log coth exp Add Mul -3 acsch x4 Add x4 tanh x0 