Mul sqrt x0 Mul asech Add sin x0 x0 E 
Add Mul Mul asech Add sin x0 x0 E Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul E Mul Add cos x0 1 Pow Mul Mul Add sin x0 x0 Add sin x0 x0 sqrt Add 1 Mul -1 Pow Mul Add sin x0 x0 Add sin x0 x0 -1 -1 