Mul -3 Add Mul 1.54308063481524 x0 Add acot Mul 3 asec Mul log x0 sec x0 Add pi pi 
Mul -3 Add 1.54308063481524 Mul -1 Mul Mul 3 Mul Add Mul sec x0 Pow x0 -1 Mul log x0 Mul tan x0 sec x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul log x0 sec x0 Mul log x0 sec x0 -1 Mul log x0 sec x0 Mul log x0 sec x0 -1 Pow Add 1 Mul Mul 3 asec Mul log x0 sec x0 Mul 3 asec Mul log x0 sec x0 -1 