Add x0 Pow Mul Pow x7 acot x0 Pow Mul Add Mul Pow x7 3 x0 atan Add Add x5 x0 x0 Add asin x0 x0 E -4 
Add 1 Mul Pow Mul Pow x7 acot x0 Pow Mul Add Mul Pow x7 3 x0 atan Add Add x5 x0 x0 Add asin x0 x0 E 5 Mul -4 Add Mul Pow Mul Add Mul Pow x7 3 x0 atan Add Add x5 x0 x0 Add asin x0 x0 E Mul Pow x7 Add acot x0 -1 Mul Mul x7 log x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow x7 acot x0 Mul Pow Mul Add Mul Pow x7 3 x0 atan Add Add x5 x0 x0 Add asin x0 x0 Add E -1 Mul E Add Mul Add asin x0 x0 Add Pow x7 3 Mul 2 Pow Add 1 Mul Add Add x5 x0 x0 Add Add x5 x0 x0 -1 Mul Add Mul Pow x7 3 x0 atan Add Add x5 x0 x0 Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 