Mul acoth Pow x2 acoth x0 Pow Pow -0.756802495307928 x2 -2 
Mul Pow Pow -0.756802495307928 x2 -2 Mul Mul Pow x2 Add acoth x0 -1 Mul Mul x2 log x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow x2 acoth x0 Pow x2 acoth x0 -1 