Mul Add 4 Mul x0 Pow Pow x0 Pow x6 x7 acosh x0 sec coth exp x7 
Mul sec coth exp x7 Add Pow Pow x0 Pow x6 x7 acosh x0 Mul x0 Mul Pow Pow x0 Pow x6 x7 Add acosh x0 -1 Add Mul acosh x0 Mul Pow x0 Add Pow x6 x7 -1 Pow x6 x7 Mul Mul Pow x0 Pow x6 x7 log Pow x0 Pow x6 x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 