Pow Pow E Pow Mul Mul x0 x0 x4 E Add Pow acoth x3 Add -2 Add x0 E 7 
Mul Pow Pow E Pow Mul Mul x0 x0 x4 E Add Add Pow acoth x3 Add -2 Add x0 E 7 -1 Add Mul Add Pow acoth x3 Add -2 Add x0 E 7 Mul Pow E Add Pow Mul Mul x0 x0 x4 E -1 Mul Mul E log E Mul Pow Mul Mul x0 x0 x4 Add E -1 Mul E Mul x4 Add x0 x0 Mul Mul Pow E Pow Mul Mul x0 x0 x4 E log Pow E Pow Mul Mul x0 x0 x4 E Mul Pow acoth x3 Add Add -2 Add x0 E -1 Mul acoth x3 log acoth x3 