Add Mul Pow x3 Pow Mul E Mul x0 -5 acoth x5 Add x0 x5 atan x0 
Add Add Mul Add x0 x5 Mul Pow x3 Add Pow Mul E Mul x0 -5 acoth x5 -1 Mul Mul x3 log x3 Mul Pow Mul E Mul x0 -5 Add acoth x5 -1 Mul acoth x5 Mul E -5 Pow x3 Pow Mul E Mul x0 -5 acoth x5 Pow Add 1 Mul x0 x0 -1 