Add x0 Mul Pow exp asech sec Mul Pow x2 x5 sqrt Add E x3 x0 x4 
Add 1 Mul x4 Mul Pow exp asech sec Mul Pow x2 x5 sqrt Add E x3 Add x0 -1 Mul exp asech sec Mul Pow x2 x5 sqrt Add E x3 log exp asech sec Mul Pow x2 x5 sqrt Add E x3 