Mul asech tan Mul x0 Pow x3 Add Add E x0 x0 Add 4 Pow x1 x0 
Add Mul Add 4 Pow x1 x0 Mul Mul Pow sec Mul x0 Pow x3 Add Add E x0 x0 2 Add Pow x3 Add Add E x0 x0 Mul x0 Mul Pow x3 Add Add Add E x0 x0 -1 Mul Mul x3 log x3 2 Pow Mul Mul tan Mul x0 Pow x3 Add Add E x0 x0 tan Mul x0 Pow x3 Add Add E x0 x0 sqrt Add 1 Mul -1 Pow Mul tan Mul x0 Pow x3 Add Add E x0 x0 tan Mul x0 Pow x3 Add Add E x0 x0 -1 -1 Mul asech tan Mul x0 Pow x3 Add Add E x0 x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 