Add sech x7 Mul x6 Mul Mul 5 x0 Mul Add -5 acoth Pow x6 x0 -5 
Mul x6 Add Mul Mul Add -5 acoth Pow x6 x0 -5 5 Mul Mul 5 x0 Mul -5 Mul Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow Add 1 Mul -1 Mul Pow x6 x0 Pow x6 x0 -1 