Pow x0 sinh Add Pow log x0 sec x3 E 
Mul Pow x0 Add sinh Add Pow log x0 sec x3 E -1 Add sinh Add Pow log x0 sec x3 E Mul Mul x0 log x0 Mul cosh Add Pow log x0 sec x3 E Mul Pow log x0 Add sec x3 -1 Mul sec x3 Pow x0 -1 