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