Pow sqrt exp Pow x4 coth Add Add pi Pow -4 x5 -4 Pow acosh Mul -4 atan coth x4 Mul -3 x0 
Mul Pow sqrt exp Pow x4 coth Add Add pi Pow -4 x5 -4 Add Pow acosh Mul -4 atan coth x4 Mul -3 x0 -1 Mul Mul sqrt exp Pow x4 coth Add Add pi Pow -4 x5 -4 log sqrt exp Pow x4 coth Add Add pi Pow -4 x5 -4 Mul Pow acosh Mul -4 atan coth x4 Add Mul -3 x0 -1 Mul Mul acosh Mul -4 atan coth x4 log acosh Mul -4 atan coth x4 -3 