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