Pow acosh x5 Add Pow Add x4 x0 Add -5 x0 acoth Add Add Pow x0 x0 x0 x0 
Mul Pow acosh x5 Add Add Pow Add x4 x0 Add -5 x0 acoth Add Add Pow x0 x0 x0 x0 -1 Mul Mul acosh x5 log acosh x5 Add Mul Pow Add x4 x0 Add Add -5 x0 -1 Add Add -5 x0 Mul Add x4 x0 log Add x4 x0 Mul Add Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 1 Pow Add 1 Mul -1 Mul Add Add Pow x0 x0 x0 x0 Add Add Pow x0 x0 x0 x0 -1 