Add x0 Pow Add pi 3 Add Mul sqrt x0 0.0366189934736865 asec x1 
Add 1 Mul Pow Add pi 3 Add Add Mul sqrt x0 0.0366189934736865 asec x1 -1 Mul Mul Add pi 3 log Add pi 3 Mul 0.0366189934736865 Pow Mul 2 sqrt x0 -1 