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