Mul tan Pow -3 x4 Add tan Mul -3 Add x0 asech Pow x2 Pow x0 3 x2 
Mul tan Pow -3 x4 Mul Pow sec Mul -3 Add x0 asech Pow x2 Pow x0 3 2 Mul -3 Add 1 Mul Mul Pow x2 Add Pow x0 3 -1 Mul Mul x2 log x2 Mul Pow x0 2 3 Pow Mul Mul Pow x2 Pow x0 3 Pow x2 Pow x0 3 sqrt Add 1 Mul -1 Pow Mul Pow x2 Pow x0 3 Pow x2 Pow x0 3 -1 -1 