Pow acoth Add -5 x0 exp Add x0 atan Mul x0 -3 
Mul Pow acoth Add -5 x0 Add exp Add x0 atan Mul x0 -3 -1 Add Mul exp Add x0 atan Mul x0 -3 Pow Add 1 Mul -1 Mul Add -5 x0 Add -5 x0 -1 Mul Mul acoth Add -5 x0 log acoth Add -5 x0 Mul exp Add x0 atan Mul x0 -3 Add 1 Mul -3 Pow Add 1 Mul Mul x0 -3 Mul x0 -3 -1 