Add Pow x4 Add cos x0 x0 Pow Add x3 acos x2 acoth Mul Add Add x7 x7 Mul -2 x5 x0 
Add Mul Pow x4 Add Add cos x0 x0 -1 Mul Mul x4 log x4 Add Mul -1 sin x0 1 Mul Pow Add x3 acos x2 Add acoth Mul Add Add x7 x7 Mul -2 x5 x0 -1 Mul Mul Add x3 acos x2 log Add x3 acos x2 Mul Add Add x7 x7 Mul -2 x5 Pow Add 1 Mul -1 Mul Mul Add Add x7 x7 Mul -2 x5 x0 Mul Add Add x7 x7 Mul -2 x5 x0 -1 