Pow 1.31811607165282 Mul x0 Mul sqrt acot x0 x0 
Mul Pow 1.31811607165282 Add Mul x0 Mul sqrt acot x0 x0 -1 Mul 1.59431957035992 Add Mul sqrt acot x0 x0 Mul x0 Add Mul x0 Mul Pow Mul 2 sqrt acot x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 sqrt acot x0 