Mul Mul -5 x6 Pow 2 Pow 3.62686040784702 acoth atan x0 
Mul Mul -5 x6 Mul Pow 2 Add Pow 3.62686040784702 acoth atan x0 -1 Mul 2.69314718055995 Mul Pow 3.62686040784702 Add acoth atan x0 -1 Mul 4.91522778046119 Mul Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul atan x0 atan x0 -1 