Add Pow Pow Add acosh x2 Add x0 Add x2 acoth x6 x3 Mul asin x6 x0 -2 
Mul Pow Pow Add acosh x2 Add x0 Add x2 acoth x6 x3 Add Mul asin x6 x0 -1 Add Mul Mul asin x6 x0 Mul Pow Add acosh x2 Add x0 Add x2 acoth x6 Add x3 -1 x3 Mul Mul Pow Add acosh x2 Add x0 Add x2 acoth x6 x3 log Pow Add acosh x2 Add x0 Add x2 acoth x6 x3 asin x6 