Add sin Pow Pow Pow x0 -2 Add x0 2 log Pow log acosh coth x1 x0 3 
Mul cos Pow Pow Pow x0 -2 Add x0 2 log Pow log acosh coth x1 x0 Mul Pow Pow Pow x0 -2 Add x0 2 Add log Pow log acosh coth x1 x0 -1 Add Mul log Pow log acosh coth x1 x0 Mul Pow Pow x0 -2 Add Add x0 2 -1 Add Mul Add x0 2 Mul Pow x0 3 -2 Mul Pow x0 -2 log Pow x0 -2 Mul Mul Pow Pow x0 -2 Add x0 2 log Pow Pow x0 -2 Add x0 2 Mul Mul Pow log acosh coth x1 Add x0 -1 Mul log acosh coth x1 log log acosh coth x1 Pow Pow log acosh coth x1 x0 -1 