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