log acoth Mul Pow Add -4 x0 x0 x7 
Mul Mul Mul x7 Mul Pow Add -4 x0 Add x0 -1 Add x0 Mul Add -4 x0 log Add -4 x0 Pow Add 1 Mul -1 Mul Mul Pow Add -4 x0 x0 x7 Mul Pow Add -4 x0 x0 x7 -1 Pow acoth Mul Pow Add -4 x0 x0 x7 -1 