Pow Mul Mul x6 asech Add x0 2 x0 Add pi x0 
Mul Pow Mul Mul x6 asech Add x0 2 x0 Add Add pi x0 -1 Add Mul Add pi x0 Add Mul x0 Mul x6 Pow Mul Mul Add x0 2 Add x0 2 sqrt Add 1 Mul -1 Pow Mul Add x0 2 Add x0 2 -1 -1 Mul x6 asech Add x0 2 Mul Mul Mul x6 asech Add x0 2 x0 log Mul Mul x6 asech Add x0 2 x0 