Pow x0 Mul Pow Mul exp x2 Mul E x0 tan Mul x0 x0 x3 
Mul Pow x0 Add Mul Pow Mul exp x2 Mul E x0 tan Mul x0 x0 x3 -1 Add Mul Pow Mul exp x2 Mul E x0 tan Mul x0 x0 x3 Mul Mul x0 log x0 Mul x3 Mul Pow Mul exp x2 Mul E x0 Add tan Mul x0 x0 -1 Add Mul tan Mul x0 x0 Mul exp x2 E Mul Mul Mul exp x2 Mul E x0 log Mul exp x2 Mul E x0 Mul Pow sec Mul x0 x0 2 Add x0 x0 