atanh Mul acot acos Add asech Add x0 Mul x0 x0 Mul sech x7 x0 Pow x0 x7 
Mul Add Mul Pow x0 x7 Mul -1 Mul Mul -1 Mul Add Mul Add 1 Add x0 x0 Pow Mul Mul Add x0 Mul x0 x0 Add x0 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul Add x0 Mul x0 x0 Add x0 Mul x0 x0 -1 -1 sech x7 Pow sqrt Add 1 Mul -1 Mul Add asech Add x0 Mul x0 x0 Mul sech x7 x0 Add asech Add x0 Mul x0 x0 Mul sech x7 x0 -1 Pow Add 1 Mul acos Add asech Add x0 Mul x0 x0 Mul sech x7 x0 acos Add asech Add x0 Mul x0 x0 Mul sech x7 x0 -1 Mul acot acos Add asech Add x0 Mul x0 x0 Mul sech x7 x0 Mul Pow x0 Add x7 -1 x7 Pow Add 1 Mul -1 Mul Mul acot acos Add asech Add x0 Mul x0 x0 Mul sech x7 x0 Pow x0 x7 Mul acot acos Add asech Add x0 Mul x0 x0 Mul sech x7 x0 Pow x0 x7 -1 