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