cos Pow Mul x5 Add sech Mul cos x2 4 E x0 
Mul Mul -1 sin Pow Mul x5 Add sech Mul cos x2 4 E x0 Mul Pow Mul x5 Add sech Mul cos x2 4 E Add x0 -1 Mul Mul x5 Add sech Mul cos x2 4 E log Mul x5 Add sech Mul cos x2 4 E 