Mul Pow x0 Pow Add Pow x0 5 sqrt acoth acosh x7 -0.252712188865387 5.01831563888873 
Mul 5.01831563888873 Mul Pow x0 Add Pow Add Pow x0 5 sqrt acoth acosh x7 -0.252712188865387 -1 Add Pow Add Pow x0 5 sqrt acoth acosh x7 -0.252712188865387 Mul Mul x0 log x0 Mul Pow Add Pow x0 5 sqrt acoth acosh x7 -1.25271218886539 Mul -0.252712188865387 Mul Pow x0 4 5 