Pow x0 Pow Add cos Pow x7 x0 acoth x4 2 
Mul Pow x0 Add Pow Add cos Pow x7 x0 acoth x4 2 -1 Add Pow Add cos Pow x7 x0 acoth x4 2 Mul Mul x0 log x0 Mul Add cos Pow x7 x0 acoth x4 Mul 2 Mul Mul -1 sin Pow x7 x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 