Mul Add acoth x0 Mul -3 sin Pow x0 x7 Mul sec cot x1 atanh x0 
Add Mul Mul sec cot x1 atanh x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul -3 Mul cos Pow x0 x7 Mul Pow x0 Add x7 -1 x7 Mul Add acoth x0 Mul -3 sin Pow x0 x7 Mul sec cot x1 Pow Add 1 Mul -1 Mul x0 x0 -1 