Pow x1 Mul sec Pow sec x0 E sinh x0 
Mul Pow x1 Add Mul sec Pow sec x0 E sinh x0 -1 Mul Mul x1 log x1 Add Mul sinh x0 Mul Mul tan Pow sec x0 E sec Pow sec x0 E Mul Pow sec x0 Add E -1 Mul E Mul tan x0 sec x0 Mul sec Pow sec x0 E cosh x0 