Pow Mul Mul Pow atanh x2 Mul x6 sqrt x0 -5 x0 Add -3 Mul Pow Add x2 x0 5 asech x0 
Mul Pow Mul Mul Pow atanh x2 Mul x6 sqrt x0 -5 x0 Add Add -3 Mul Pow Add x2 x0 5 asech x0 -1 Add Mul Add -3 Mul Pow Add x2 x0 5 asech x0 Add Mul x0 Mul -5 Mul Pow atanh x2 Add Mul x6 sqrt x0 -1 Mul Mul atanh x2 log atanh x2 Mul x6 Pow Mul 2 sqrt x0 -1 Mul Pow atanh x2 Mul x6 sqrt x0 -5 Mul Mul Mul Mul Pow atanh x2 Mul x6 sqrt x0 -5 x0 log Mul Mul Pow atanh x2 Mul x6 sqrt x0 -5 x0 Add Mul asech x0 Mul Pow Add x2 x0 4 5 Mul Pow Add x2 x0 5 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 