asec Pow Mul pi E Mul x0 log x6 
Mul Mul Pow Mul pi E Add Mul x0 log x6 -1 Mul Mul Mul pi E log Mul pi E log x6 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul pi E Mul x0 log x6 Pow Mul pi E Mul x0 log x6 -1 Pow Mul pi E Mul x0 log x6 Pow Mul pi E Mul x0 log x6 -1 