Mul Pow 1.38629436111989 x0 Add Mul x3 Mul x5 x0 acot x0 
Add Mul Add Mul x3 Mul x5 x0 acot x0 Mul Pow 1.38629436111989 Add x0 -1 1.71292862109817 Mul Pow 1.38629436111989 x0 Add Mul x3 x5 Mul -1 Pow Add 1 Mul x0 x0 -1 