Pow sec Mul 3 tan Mul x1 x0 log x0 
Mul Pow sec Mul 3 tan Mul x1 x0 Add log x0 -1 Add Mul log x0 Mul Mul tan Mul 3 tan Mul x1 x0 sec Mul 3 tan Mul x1 x0 Mul 3 Mul Pow sec Mul x1 x0 2 x1 Mul Mul sec Mul 3 tan Mul x1 x0 log sec Mul 3 tan Mul x1 x0 Pow x0 -1 