Add x0 sin Pow acot Mul x3 -5 atan sqrt Add x0 -5 
Add 1 Mul cos Pow acot Mul x3 -5 atan sqrt Add x0 -5 Mul Pow acot Mul x3 -5 Add atan sqrt Add x0 -5 -1 Mul Mul acot Mul x3 -5 log acot Mul x3 -5 Mul Pow Mul 2 sqrt Add x0 -5 -1 Pow Add 1 Mul sqrt Add x0 -5 sqrt Add x0 -5 -1 