Mul Mul Mul Mul cos log x0 acoth x0 Pow Pow x1 Add E x3 x4 x7 Add x0 E 
Add Mul Add x0 E Mul x7 Mul Pow Pow x1 Add E x3 x4 Add Mul acoth x0 Mul Mul -1 sin log x0 Pow x0 -1 Mul cos log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul cos log x0 acoth x0 Pow Pow x1 Add E x3 x4 x7 