sinh Pow Mul atan x0 x4 exp sec x0 
Mul cosh Pow Mul atan x0 x4 exp sec x0 Mul Pow Mul atan x0 x4 Add exp sec x0 -1 Add Mul exp sec x0 Mul x4 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul atan x0 x4 log Mul atan x0 x4 Mul exp sec x0 Mul tan x0 sec x0 