sinh Pow x0 cosh Pow Add 4 asec x1 tanh sin x0 
Mul cosh Pow x0 cosh Pow Add 4 asec x1 tanh sin x0 Mul Pow x0 Add cosh Pow Add 4 asec x1 tanh sin x0 -1 Add cosh Pow Add 4 asec x1 tanh sin x0 Mul Mul x0 log x0 Mul sinh Pow Add 4 asec x1 tanh sin x0 Mul Pow Add 4 asec x1 Add tanh sin x0 -1 Mul Mul Add 4 asec x1 log Add 4 asec x1 Mul Pow sech sin x0 2 cos x0 