sqrt Pow Mul -3 exp x0 Mul pi asech Mul x4 -1 
Mul Pow Mul 2 sqrt Pow Mul -3 exp x0 Mul pi asech Mul x4 -1 -1 Mul Pow Mul -3 exp x0 Add Mul pi asech Mul x4 -1 -1 Mul Mul pi asech Mul x4 -1 Mul -3 exp x0 