Mul Add Pow x0 cosh sec Mul acos csc E x0 x0 x4 
Mul x4 Add Mul Pow x0 Add cosh sec Mul acos csc E x0 -1 Add cosh sec Mul acos csc E x0 Mul Mul x0 log x0 Mul sinh sec Mul acos csc E x0 Mul Mul tan Mul acos csc E x0 sec Mul acos csc E x0 acos csc E 1 