Add Mul x0 Add x0 Pow x7 Add x0 cos Add x0 Mul x0 acoth Pow x0 x3 x0 
Add Add Add x0 Pow x7 Add x0 cos Add x0 Mul x0 acoth Pow x0 x3 Mul x0 Add 1 Mul Pow x7 Add Add x0 cos Add x0 Mul x0 acoth Pow x0 x3 -1 Mul Mul x7 log x7 Add 1 Mul Mul -1 sin Add x0 Mul x0 acoth Pow x0 x3 Add 1 Add acoth Pow x0 x3 Mul x0 Mul Mul Pow x0 Add x3 -1 x3 Pow Add 1 Mul -1 Mul Pow x0 x3 Pow x0 x3 -1 1 