Mul x0 acot Mul -5 Pow asec x3 Pow sec Mul x4 -1 atan x0 
Add acot Mul -5 Pow asec x3 Pow sec Mul x4 -1 atan x0 Mul x0 Mul -1 Mul Mul -5 Mul Pow asec x3 Add Pow sec Mul x4 -1 atan x0 -1 Mul Mul asec x3 log asec x3 Mul Pow sec Mul x4 -1 Add atan x0 -1 Mul Mul sec Mul x4 -1 log sec Mul x4 -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul -5 Pow asec x3 Pow sec Mul x4 -1 atan x0 Mul -5 Pow asec x3 Pow sec Mul x4 -1 atan x0 -1 