Pow Mul E x0 Add Add Mul Pow Mul -4 x0 acot x4 E pi atanh x7 
Mul Pow Mul E x0 Add Add Add Mul Pow Mul -4 x0 acot x4 E pi atanh x7 -1 Add Mul Add Add Mul Pow Mul -4 x0 acot x4 E pi atanh x7 E Mul Mul Mul E x0 log Mul E x0 Mul E Mul Pow Mul -4 x0 Add acot x4 -1 Mul acot x4 -4 