Pow Add E Mul -2 Pow acoth E -7.08616739573719 acoth x0 
Mul Pow Add E Mul -2 Pow acoth E -7.08616739573719 Add acoth x0 -1 Mul Mul Add E Mul -2 Pow acoth E -7.08616739573719 log Add E Mul -2 Pow acoth E -7.08616739573719 Pow Add 1 Mul -1 Mul x0 x0 -1 