Pow Mul x0 asech Mul Mul Pow x0 exp Pow x1 Add Mul x0 x5 pi Mul x2 x0 Pow x3 x1 x0 
Mul Pow Mul x0 asech Mul Mul Pow x0 exp Pow x1 Add Mul x0 x5 pi Mul x2 x0 Pow x3 x1 Add x0 -1 Add Mul x0 Add asech Mul Mul Pow x0 exp Pow x1 Add Mul x0 x5 pi Mul x2 x0 Pow x3 x1 Mul x0 Mul Mul Pow x3 x1 Add Mul Mul x2 x0 Mul Pow x0 Add exp Pow x1 Add Mul x0 x5 pi -1 Add exp Pow x1 Add Mul x0 x5 pi Mul Mul x0 log x0 Mul exp Pow x1 Add Mul x0 x5 pi Mul Pow x1 Add Add Mul x0 x5 pi -1 Mul Mul x1 log x1 x5 Mul Pow x0 exp Pow x1 Add Mul x0 x5 pi x2 Pow Mul Mul Mul Mul Pow x0 exp Pow x1 Add Mul x0 x5 pi Mul x2 x0 Pow x3 x1 Mul Mul Pow x0 exp Pow x1 Add Mul x0 x5 pi Mul x2 x0 Pow x3 x1 sqrt Add 1 Mul -1 Pow Mul Mul Mul Pow x0 exp Pow x1 Add Mul x0 x5 pi Mul x2 x0 Pow x3 x1 Mul Mul Pow x0 exp Pow x1 Add Mul x0 x5 pi Mul x2 x0 Pow x3 x1 -1 -1 Mul Mul x0 asech Mul Mul Pow x0 exp Pow x1 Add Mul x0 x5 pi Mul x2 x0 Pow x3 x1 log Mul x0 asech Mul Mul Pow x0 exp Pow x1 Add Mul x0 x5 pi Mul x2 x0 Pow x3 x1 