Mul Add atanh Pow Add asech x7 x0 Add x0 cbrt acot x4 -2 x5 
Mul x5 Mul Mul Pow Add asech x7 x0 Add Add x0 cbrt acot x4 -1 Add Add x0 cbrt acot x4 Mul Add asech x7 x0 log Add asech x7 x0 Pow Add 1 Mul -1 Mul Pow Add asech x7 x0 Add x0 cbrt acot x4 Pow Add asech x7 x0 Add x0 cbrt acot x4 -1 