Mul -3 Pow Pow x0 Add -5 Add E x6 acoth x0 
Mul -3 Mul Pow Pow x0 Add -5 Add E x6 Add acoth x0 -1 Add Mul acoth x0 Mul Pow x0 Add Add -5 Add E x6 -1 Add -5 Add E x6 Mul Mul Pow x0 Add -5 Add E x6 log Pow x0 Add -5 Add E x6 Pow Add 1 Mul -1 Mul x0 x0 -1 