Mul sin Mul Add Pow Add atan acoth x0 Add x1 -5 E x4 -1 Pow E sqrt x0 
Add Mul Pow E sqrt x0 Mul cos Mul Add Pow Add atan acoth x0 Add x1 -5 E x4 -1 Mul -1 Mul Pow Add atan acoth x0 Add x1 -5 Add E -1 Mul E Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 Mul sin Mul Add Pow Add atan acoth x0 Add x1 -5 E x4 -1 Mul Pow E Add sqrt x0 -1 Mul Mul E log E Pow Mul 2 sqrt x0 -1 