Pow Pow x0 Add acosh Pow x3 x5 Pow x0 atan x4 coth x2 
Mul Pow Pow x0 Add acosh Pow x3 x5 Pow x0 atan x4 Add coth x2 -1 Mul coth x2 Mul Pow x0 Add Add acosh Pow x3 x5 Pow x0 atan x4 -1 Add Add acosh Pow x3 x5 Pow x0 atan x4 Mul Mul x0 log x0 Mul Pow x0 Add atan x4 -1 atan x4 