Pow asech Pow sqrt x0 Pow Mul x1 sqrt x4 x0 pi 
Mul Pow asech Pow sqrt x0 Pow Mul x1 sqrt x4 x0 Add pi -1 Mul pi Mul Mul Pow sqrt x0 Add Pow Mul x1 sqrt x4 x0 -1 Add Mul Pow Mul x1 sqrt x4 x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Pow Mul x1 sqrt x4 Add x0 -1 Mul Mul x1 sqrt x4 log Mul x1 sqrt x4 Pow Mul Mul Pow sqrt x0 Pow Mul x1 sqrt x4 x0 Pow sqrt x0 Pow Mul x1 sqrt x4 x0 sqrt Add 1 Mul -1 Pow Mul Pow sqrt x0 Pow Mul x1 sqrt x4 x0 Pow sqrt x0 Pow Mul x1 sqrt x4 x0 -1 -1 