Mul x0 Add acoth Pow Mul sqrt Pow Pow -2 x7 E Pow Pow log x0 Pow x3 -5 x3 x0 Mul x3 2 
Add Add acoth Pow Mul sqrt Pow Pow -2 x7 E Pow Pow log x0 Pow x3 -5 x3 x0 Mul x3 2 Mul x0 Mul Mul Pow Mul sqrt Pow Pow -2 x7 E Pow Pow log x0 Pow x3 -5 x3 Add x0 -1 Add Mul x0 Mul sqrt Pow Pow -2 x7 E Mul Pow Pow log x0 Pow x3 -5 Add x3 -1 Mul x3 Mul Pow log x0 Add Pow x3 -5 -1 Mul Pow x3 -5 Pow x0 -1 Mul Mul sqrt Pow Pow -2 x7 E Pow Pow log x0 Pow x3 -5 x3 log Mul sqrt Pow Pow -2 x7 E Pow Pow log x0 Pow x3 -5 x3 Pow Add 1 Mul -1 Mul Pow Mul sqrt Pow Pow -2 x7 E Pow Pow log x0 Pow x3 -5 x3 x0 Pow Mul sqrt Pow Pow -2 x7 E Pow Pow log x0 Pow x3 -5 x3 x0 -1 