Mul Pow Mul tan Add 3 x0 x0 asec Pow x1 Mul x0 acos x1 pi 
Mul pi Mul Pow Mul tan Add 3 x0 x0 Add asec Pow x1 Mul x0 acos x1 -1 Add Mul asec Pow x1 Mul x0 acos x1 Add Mul x0 Pow sec Add 3 x0 2 tan Add 3 x0 Mul Mul Mul tan Add 3 x0 x0 log Mul tan Add 3 x0 x0 Mul Mul Pow x1 Add Mul x0 acos x1 -1 Mul Mul x1 log x1 acos x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x1 Mul x0 acos x1 Pow x1 Mul x0 acos x1 -1 Pow x1 Mul x0 acos x1 Pow x1 Mul x0 acos x1 -1 