Mul Pow asec sinh E Add E x0 sin Mul Add asinh asec x1 x0 pi 
Add Mul sin Mul Add asinh asec x1 x0 pi Mul Pow asec sinh E Add Add E x0 -1 Mul asec sinh E log asec sinh E Mul Pow asec sinh E Add E x0 Mul cos Mul Add asinh asec x1 x0 pi pi 