Mul Add Mul Pow x0 x0 Mul acosh x0 x6 3 Pow x3 asec Pow 2 acos Add coth x2 -2 
Mul Pow x3 asec Pow 2 acos Add coth x2 -2 Add Mul Mul acosh x0 x6 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Mul x6 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 