Mul -4 acot Pow Mul Mul Add x0 x1 E sqrt x0 5 
Mul -4 Mul -1 Mul Mul Pow Mul Mul Add x0 x1 E sqrt x0 4 Mul 5 Add Mul sqrt x0 E Mul Mul Add x0 x1 E Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Pow Mul Mul Add x0 x1 E sqrt x0 5 Pow Mul Mul Add x0 x1 E sqrt x0 5 -1 