Add Mul exp x2 Add Pow sinh x0 tan Mul Add x0 -1 log acos x4 x0 x0 
Add Mul exp x2 Add Mul Pow sinh x0 Add tan Mul Add x0 -1 log acos x4 -1 Add Mul tan Mul Add x0 -1 log acos x4 cosh x0 Mul Mul sinh x0 log sinh x0 Mul Pow sec Mul Add x0 -1 log acos x4 2 log acos x4 1 1 