Mul Add Pow E 8 -1 Add 2 Add acoth x0 Mul acoth Pow x6 Add x0 x1 Add Mul x0 2 5 
Mul Add Pow E 8 -1 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Add Mul Add Mul x0 2 5 Mul Mul Pow x6 Add Add x0 x1 -1 Mul x6 log x6 Pow Add 1 Mul -1 Mul Pow x6 Add x0 x1 Pow x6 Add x0 x1 -1 Mul acoth Pow x6 Add x0 x1 2 