Add Pow x3 Mul Pow Mul x0 asech pi x0 x0 Add x0 1.55740772465490 
Add Mul Pow x3 Add Mul Pow Mul x0 asech pi x0 x0 -1 Mul Mul x3 log x3 Add Mul x0 Mul Pow Mul x0 asech pi Add x0 -1 Add Mul x0 asech pi Mul Mul x0 asech pi log Mul x0 asech pi Pow Mul x0 asech pi x0 1 