Mul Pow x3 x7 Pow Pow x0 Mul -5 x6 sec acot Mul x0 4 
Mul Pow x3 x7 Mul Pow Pow x0 Mul -5 x6 Add sec acot Mul x0 4 -1 Add Mul sec acot Mul x0 4 Mul Pow x0 Add Mul -5 x6 -1 Mul -5 x6 Mul Mul Pow x0 Mul -5 x6 log Pow x0 Mul -5 x6 Mul Mul tan acot Mul x0 4 sec acot Mul x0 4 Mul -1 Mul 4 Pow Add 1 Mul Mul x0 4 Mul x0 4 -1 