Mul x0 Pow acoth exp x0 Pow x0 3 
Add Pow acoth exp x0 Pow x0 3 Mul x0 Mul Pow acoth exp x0 Add Pow x0 3 -1 Add Mul Pow x0 3 Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 Mul Mul acoth exp x0 log acoth exp x0 Mul Pow x0 2 3 