cos Mul Pow Mul Pow acot x4 Pow x0 5 sec acot Add x7 3 asec x1 x0 
Mul Mul -1 sin Mul Pow Mul Pow acot x4 Pow x0 5 sec acot Add x7 3 asec x1 x0 Add Mul x0 Mul Pow Mul Pow acot x4 Pow x0 5 sec acot Add x7 3 Add asec x1 -1 Mul asec x1 Mul sec acot Add x7 3 Mul Pow acot x4 Add Pow x0 5 -1 Mul Mul acot x4 log acot x4 Mul Pow x0 4 5 Pow Mul Pow acot x4 Pow x0 5 sec acot Add x7 3 asec x1 