Pow asec x1 Mul acos pi Mul Mul 2.23606797749979 x0 Pow cos x0 -1 
Mul Pow asec x1 Add Mul acos pi Mul Mul 2.23606797749979 x0 Pow cos x0 -1 -1 Mul Mul asec x1 log asec x1 Mul acos pi Add Mul Pow cos x0 -1 2.23606797749979 Mul Mul 2.23606797749979 x0 Mul Pow cos x0 2 Mul -1 Mul -1 sin x0 