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