Mul Pow asech Mul sech pi x0 4 Pow Pow x1 x5 x2 
Mul Pow Pow x1 x5 x2 Mul Pow asech Mul sech pi x0 3 Mul 4 Mul sech pi Pow Mul Mul Mul sech pi x0 Mul sech pi x0 sqrt Add 1 Mul -1 Pow Mul Mul sech pi x0 Mul sech pi x0 -1 -1 