sin Pow x0 sinh Pow Mul x0 asech E sech x3 
Mul cos Pow x0 sinh Pow Mul x0 asech E sech x3 Mul Pow x0 Add sinh Pow Mul x0 asech E sech x3 -1 Add sinh Pow Mul x0 asech E sech x3 Mul Mul x0 log x0 Mul cosh Pow Mul x0 asech E sech x3 Mul Pow Mul x0 asech E Add sech x3 -1 Mul sech x3 asech E 