Add sec asec log Mul E x0 x0 
Add Mul Mul tan asec log Mul E x0 sec asec log Mul E x0 Mul Mul E Pow Mul E x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul log Mul E x0 log Mul E x0 -1 log Mul E x0 log Mul E x0 -1 1 