Mul Pow Pow x1 x3 x0 cosh Mul sqrt x0 Pow x0 sin tan acoth acos sinh sqrt x4 
Add Mul cosh Mul sqrt x0 Pow x0 sin tan acoth acos sinh sqrt x4 Mul Pow Pow x1 x3 Add x0 -1 Mul Pow x1 x3 log Pow x1 x3 Mul Pow Pow x1 x3 x0 Mul sinh Mul sqrt x0 Pow x0 sin tan acoth acos sinh sqrt x4 Add Mul Pow x0 sin tan acoth acos sinh sqrt x4 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul Pow x0 Add sin tan acoth acos sinh sqrt x4 -1 sin tan acoth acos sinh sqrt x4 