Mul Mul Pow Pow pi x0 Mul asin x0 Pow Mul acot Pow x1 x0 x0 Mul 2 x0 Pow sech x6 asec x6 x7 
Mul x7 Mul Pow sech x6 asec x6 Mul Pow Pow pi x0 Add Mul asin x0 Pow Mul acot Pow x1 x0 x0 Mul 2 x0 -1 Add Mul Mul asin x0 Pow Mul acot Pow x1 x0 x0 Mul 2 x0 Mul Pow pi Add x0 -1 Mul pi log pi Mul Mul Pow pi x0 log Pow pi x0 Add Mul Pow Mul acot Pow x1 x0 x0 Mul 2 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 Mul Pow Mul acot Pow x1 x0 x0 Add Mul 2 x0 -1 Add Mul Mul 2 x0 Add Mul x0 Mul -1 Mul Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow Add 1 Mul Pow x1 x0 Pow x1 x0 -1 acot Pow x1 x0 Mul Mul Mul acot Pow x1 x0 x0 log Mul acot Pow x1 x0 x0 2 