Pow Add Mul x2 Pow x5 x6 x0 sin acoth Mul x0 sqrt x0 
Mul Pow Add Mul x2 Pow x5 x6 x0 Add sin acoth Mul x0 sqrt x0 -1 Add sin acoth Mul x0 sqrt x0 Mul Mul Add Mul x2 Pow x5 x6 x0 log Add Mul x2 Pow x5 x6 x0 Mul cos acoth Mul x0 sqrt x0 Mul Add sqrt x0 Mul x0 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul Mul x0 sqrt x0 Mul x0 sqrt x0 -1 