Pow Pow Mul pi Pow pi x6 Add Mul -1 x0 5 Mul Add 3125 sec x1 x0 
Mul Pow Pow Mul pi Pow pi x6 Add Mul -1 x0 5 Add Mul Add 3125 sec x1 x0 -1 Add Mul Mul Add 3125 sec x1 x0 Mul Pow Mul pi Pow pi x6 Add Add Mul -1 x0 5 -1 Mul Mul Mul pi Pow pi x6 log Mul pi Pow pi x6 -1 Mul Mul Pow Mul pi Pow pi x6 Add Mul -1 x0 5 log Pow Mul pi Pow pi x6 Add Mul -1 x0 5 Add 3125 sec x1 