Mul Add x4 sinh cosh Mul Add 2 x0 2 Mul cos Pow x3 sqrt x0 -2 
Add Mul Mul cos Pow x3 sqrt x0 -2 Mul cosh cosh Mul Add 2 x0 2 Mul sinh Mul Add 2 x0 2 2 Mul Add x4 sinh cosh Mul Add 2 x0 2 Mul -2 Mul Mul -1 sin Pow x3 sqrt x0 Mul Pow x3 Add sqrt x0 -1 Mul Mul x3 log x3 Pow Mul 2 sqrt x0 -1 