Pow Add -4 Pow Mul x3 atan Pow Mul x7 acos x1 x0 sec atanh x2 E 
Mul Pow Add -4 Pow Mul x3 atan Pow Mul x7 acos x1 x0 sec atanh x2 Add E -1 Mul E Mul Pow Mul x3 atan Pow Mul x7 acos x1 x0 Add sec atanh x2 -1 Mul sec atanh x2 Mul x3 Mul Mul Pow Mul x7 acos x1 Add x0 -1 Mul Mul x7 acos x1 log Mul x7 acos x1 Pow Add 1 Mul Pow Mul x7 acos x1 x0 Pow Mul x7 acos x1 x0 -1 