Mul x5 Mul Add Pow Mul E x5 acoth Pow x0 Add x0 -3 E Pow x0 -1 
Mul x5 Add Mul Pow x0 -1 Mul Pow Mul E x5 Add acoth Pow x0 Add x0 -3 -1 Mul Mul Mul E x5 log Mul E x5 Mul Mul Pow x0 Add Add x0 -3 -1 Add Add x0 -3 Mul x0 log x0 Pow Add 1 Mul -1 Mul Pow x0 Add x0 -3 Pow x0 Add x0 -3 -1 Mul Add Pow Mul E x5 acoth Pow x0 Add x0 -3 E Mul Pow x0 2 -1 