Pow Mul 8 Pow pi Mul x3 x0 Pow asech x0 -2 
Mul Pow Mul 8 Pow pi Mul x3 x0 Add Pow asech x0 -2 -1 Add Mul Pow asech x0 -2 Mul 8 Mul Pow pi Add Mul x3 x0 -1 Mul Mul pi log pi x3 Mul Mul Mul 8 Pow pi Mul x3 x0 log Mul 8 Pow pi Mul x3 x0 Mul Pow asech x0 3 Mul -2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 