tanh Pow Pow x5 acot x0 Pow exp Add asech asech Mul 2 acot exp x0 x1 x0 
Mul Pow sech Pow Pow x5 acot x0 Pow exp Add asech asech Mul 2 acot exp x0 x1 x0 2 Mul Pow Pow x5 acot x0 Add Pow exp Add asech asech Mul 2 acot exp x0 x1 x0 -1 Add Mul Pow exp Add asech asech Mul 2 acot exp x0 x1 x0 Mul Pow x5 Add acot x0 -1 Mul Mul x5 log x5 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow x5 acot x0 log Pow x5 acot x0 Mul Pow exp Add asech asech Mul 2 acot exp x0 x1 Add x0 -1 Add Mul x0 Mul exp Add asech asech Mul 2 acot exp x0 x1 Mul Mul Mul 2 Mul -1 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 Pow Mul Mul Mul 2 acot exp x0 Mul 2 acot exp x0 sqrt Add 1 Mul -1 Pow Mul Mul 2 acot exp x0 Mul 2 acot exp x0 -1 -1 Pow Mul Mul asech Mul 2 acot exp x0 asech Mul 2 acot exp x0 sqrt Add 1 Mul -1 Pow Mul asech Mul 2 acot exp x0 asech Mul 2 acot exp x0 -1 -1 Mul exp Add asech asech Mul 2 acot exp x0 x1 log exp Add asech asech Mul 2 acot exp x0 x1 