Mul Mul 4 asech pi Add Mul Mul x0 x7 Mul acos Add E x0 sqrt x2 x0 
Mul Mul 4 asech pi Add Add Mul Mul acos Add E x0 sqrt x2 x7 Mul Mul x0 x7 Mul sqrt x2 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add E x0 Add E x0 -1 1 