Pow Mul -4 Pow Pow Mul acot x1 x7 Add -5 E -1 x0 
Mul Pow Mul -4 Pow Pow Mul acot x1 x7 Add -5 E -1 Add x0 -1 Mul Mul -4 Pow Pow Mul acot x1 x7 Add -5 E -1 log Mul -4 Pow Pow Mul acot x1 x7 Add -5 E -1 