sec asec Pow tan Mul E 3 x0 
Mul Mul tan asec Pow tan Mul E 3 x0 sec asec Pow tan Mul E 3 x0 Mul Mul Pow tan Mul E 3 Add x0 -1 Mul tan Mul E 3 log tan Mul E 3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow tan Mul E 3 x0 Pow tan Mul E 3 x0 -1 Pow tan Mul E 3 x0 Pow tan Mul E 3 x0 -1 