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