Add Add Pow sqrt sec Mul -2 x4 Mul E Mul E Add x0 0.463647609000806 E x0 
Add Mul Pow sqrt sec Mul -2 x4 Add Mul E Mul E Add x0 0.463647609000806 -1 Mul Mul sqrt sec Mul -2 x4 log sqrt sec Mul -2 x4 Mul E E 1 