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