Pow x0 Pow acoth x0 1.85081571768093 
Mul Pow x0 Add Pow acoth x0 1.85081571768093 -1 Add Pow acoth x0 1.85081571768093 Mul Mul x0 log x0 Mul Pow acoth x0 0.850815717680925 Mul 1.85081571768093 Pow Add 1 Mul -1 Mul x0 x0 -1 