Pow Mul Mul x0 Pow x0 asech x2 3 Add Pow Mul x7 acosh x7 x0 -5 
Mul Pow Mul Mul x0 Pow x0 asech x2 3 Add Add Pow Mul x7 acosh x7 x0 -5 -1 Add Mul Add Pow Mul x7 acosh x7 x0 -5 Mul 3 Add Pow x0 asech x2 Mul x0 Mul Pow x0 Add asech x2 -1 asech x2 Mul Mul Mul Mul x0 Pow x0 asech x2 3 log Mul Mul x0 Pow x0 asech x2 3 Mul Pow Mul x7 acosh x7 Add x0 -1 Mul Mul x7 acosh x7 log Mul x7 acosh x7 