Pow Add Add x0 x0 acoth asech log x0 -5 
Mul Pow Add Add x0 x0 acoth asech log x0 6 Mul -5 Add 2 Mul Mul Pow x0 -1 Pow Mul Mul log x0 log x0 sqrt Add 1 Mul -1 Pow Mul log x0 log x0 -1 -1 Pow Add 1 Mul -1 Mul asech log x0 asech log x0 -1 