Pow Add x0 Add Add x0 Add Add atan x1 sin E -5 asech Pow Mul acot pi x0 tan Mul -1 x0 x1 
Mul Pow Add x0 Add Add x0 Add Add atan x1 sin E -5 asech Pow Mul acot pi x0 tan Mul -1 x0 Add x1 -1 Mul x1 Add 1 Add 1 Mul Mul Pow Mul acot pi x0 Add tan Mul -1 x0 -1 Add Mul tan Mul -1 x0 acot pi Mul Mul Mul acot pi x0 log Mul acot pi x0 Mul Pow sec Mul -1 x0 2 -1 Pow Mul Mul Pow Mul acot pi x0 tan Mul -1 x0 Pow Mul acot pi x0 tan Mul -1 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul acot pi x0 tan Mul -1 x0 Pow Mul acot pi x0 tan Mul -1 x0 -1 -1 