Add Pow Mul x0 x0 Add Add Add x0 x0 2 asech Pow x0 acot Pow exp x0 atan pi x7 
Mul Pow Mul x0 x0 Add Add Add Add x0 x0 2 asech Pow x0 acot Pow exp x0 atan pi -1 Add Mul Add Add Add x0 x0 2 asech Pow x0 acot Pow exp x0 atan pi Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Add 2 Mul Mul Pow x0 Add acot Pow exp x0 atan pi -1 Add acot Pow exp x0 atan pi Mul Mul x0 log x0 Mul -1 Mul Mul Pow exp x0 Add atan pi -1 Mul atan pi exp x0 Pow Add 1 Mul Pow exp x0 atan pi Pow exp x0 atan pi -1 Pow Mul Mul Pow x0 acot Pow exp x0 atan pi Pow x0 acot Pow exp x0 atan pi sqrt Add 1 Mul -1 Pow Mul Pow x0 acot Pow exp x0 atan pi Pow x0 acot Pow exp x0 atan pi -1 -1 