Pow cos Pow sqrt sech x0 E x0 
Mul Pow cos Pow sqrt sech x0 E Add x0 -1 Add Mul x0 Mul Mul -1 sin Pow sqrt sech x0 E Mul Pow sqrt sech x0 Add E -1 Mul E Mul Pow Mul 2 sqrt sech x0 -1 Mul tanh x0 Mul -1 sech x0 Mul cos Pow sqrt sech x0 E log cos Pow sqrt sech x0 E 