Pow Pow Pow x2 x0 cos acoth x6 x0 
Mul Pow Pow Pow x2 x0 cos acoth x6 Add x0 -1 Add Mul x0 Mul Pow Pow x2 x0 Add cos acoth x6 -1 Mul cos acoth x6 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow Pow x2 x0 cos acoth x6 log Pow Pow x2 x0 cos acoth x6 