Add x0 Add Mul Add Add x0 0.609592206798948 x0 sqrt Pow x4 x0 Mul asin Add x0 -0.909297426825682 4 
Add 1 Add Add Mul sqrt Pow x4 x0 2 Mul Add Add x0 0.609592206798948 x0 Mul Pow Mul 2 sqrt Pow x4 x0 -1 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul 4 Pow sqrt Add 1 Mul -1 Mul Add x0 -0.909297426825682 Add x0 -0.909297426825682 -1 