acos Pow x0 Pow Mul 13 x6 Mul Pow x0 1.60943791243410 pi 
Mul -1 Mul Mul Pow x0 Add Pow Mul 13 x6 Mul Pow x0 1.60943791243410 pi -1 Add Pow Mul 13 x6 Mul Pow x0 1.60943791243410 pi Mul Mul x0 log x0 Mul Pow Mul 13 x6 Add Mul Pow x0 1.60943791243410 pi -1 Mul Mul Mul 13 x6 log Mul 13 x6 Mul pi Mul Pow x0 0.609437912434100 1.60943791243410 Pow sqrt Add 1 Mul -1 Mul Pow x0 Pow Mul 13 x6 Mul Pow x0 1.60943791243410 pi Pow x0 Pow Mul 13 x6 Mul Pow x0 1.60943791243410 pi -1 