Pow x0 Pow Mul Add x0 pi x0 1.57079632679490 
Mul Pow x0 Add Pow Mul Add x0 pi x0 1.57079632679490 -1 Add Pow Mul Add x0 pi x0 1.57079632679490 Mul Mul x0 log x0 Mul Pow Mul Add x0 pi x0 0.570796326794897 Mul 1.57079632679490 Add x0 Add x0 pi 