Add Add tan Pow Pow Mul x0 Pow x5 -3 Pow Mul x0 x0 Mul -4 acot E 3 -1 x0 
Add Mul Pow sec Pow Pow Mul x0 Pow x5 -3 Pow Mul x0 x0 Mul -4 acot E 3 2 Mul Pow Pow Mul x0 Pow x5 -3 Pow Mul x0 x0 Mul -4 acot E 2 Mul 3 Mul Pow Mul x0 Pow x5 -3 Add Pow Mul x0 x0 Mul -4 acot E -1 Add Mul Pow Mul x0 x0 Mul -4 acot E Pow x5 -3 Mul Mul Mul x0 Pow x5 -3 log Mul x0 Pow x5 -3 Mul Pow Mul x0 x0 Add Mul -4 acot E -1 Mul Mul -4 acot E Add x0 x0 1 