Mul x0 acoth Pow x1 Pow E Mul atan Mul 2 x3 Mul x0 Mul exp x0 -3 
Add acoth Pow x1 Pow E Mul atan Mul 2 x3 Mul x0 Mul exp x0 -3 Mul x0 Mul Mul Pow x1 Add Pow E Mul atan Mul 2 x3 Mul x0 Mul exp x0 -3 -1 Mul Mul x1 log x1 Mul Pow E Add Mul atan Mul 2 x3 Mul x0 Mul exp x0 -3 -1 Mul Mul E log E Mul atan Mul 2 x3 Add Mul exp x0 -3 Mul x0 Mul -3 exp x0 Pow Add 1 Mul -1 Mul Pow x1 Pow E Mul atan Mul 2 x3 Mul x0 Mul exp x0 -3 Pow x1 Pow E Mul atan Mul 2 x3 Mul x0 Mul exp x0 -3 -1 