Mul Pow asech atan Mul x3 Add -5 x5 sqrt pi asinh Pow asech x0 Add x1 acoth Add Mul x7 x0 E 
Mul Pow asech atan Mul x3 Add -5 x5 sqrt pi Mul Mul Pow asech x0 Add Add x1 acoth Add Mul x7 x0 E -1 Add Mul Add x1 acoth Add Mul x7 x0 E Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul asech x0 log asech x0 Mul x7 Pow Add 1 Mul -1 Mul Add Mul x7 x0 E Add Mul x7 x0 E -1 Pow sqrt Add 1 Mul Pow asech x0 Add x1 acoth Add Mul x7 x0 E Pow asech x0 Add x1 acoth Add Mul x7 x0 E -1 