Mul x0 acoth Mul Pow 2 Mul x3 x0 0.000670925331307723 
Add acoth Mul Pow 2 Mul x3 x0 0.000670925331307723 Mul x0 Mul Mul 0.000670925331307723 Mul Pow 2 Add Mul x3 x0 -1 Mul 2.69314718055995 x3 Pow Add 1 Mul -1 Mul Mul Pow 2 Mul x3 x0 0.000670925331307723 Mul Pow 2 Mul x3 x0 0.000670925331307723 -1 