Mul Mul pi x2 exp Pow Add Add Pow x7 -4 Add Add E x2 asech Mul 2 Mul x7 x0 E sec x1 
Mul Mul pi x2 Mul exp Pow Add Add Pow x7 -4 Add Add E x2 asech Mul 2 Mul x7 x0 E sec x1 Mul Pow Add Add Pow x7 -4 Add Add E x2 asech Mul 2 Mul x7 x0 E Add sec x1 -1 Mul sec x1 Mul Mul 2 x7 Pow Mul Mul Mul 2 Mul x7 x0 Mul 2 Mul x7 x0 sqrt Add 1 Mul -1 Pow Mul Mul 2 Mul x7 x0 Mul 2 Mul x7 x0 -1 -1 