Mul x1 Add acosh Mul x1 Pow coth x0 Pow atan log E pi Mul E atan sech x0 
Mul x1 Add Mul Mul x1 Mul Pow coth x0 Add Pow atan log E pi -1 Mul Pow atan log E pi Mul -1 Pow csch x0 2 Pow Mul sqrt Add Mul x1 Pow coth x0 Pow atan log E pi -1 sqrt Add 1 Mul x1 Pow coth x0 Pow atan log E pi -1 Mul E Mul Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul sech x0 sech x0 -1 