Mul Mul x0 x5 Add Add x7 Add x0 Mul Mul log Mul x0 Mul sec exp x0 acosh x2 x0 x0 5 
Add Mul Add Add x7 Add x0 Mul Mul log Mul x0 Mul sec exp x0 acosh x2 x0 x0 5 x5 Mul Mul x0 x5 Add 1 Add Mul x0 Add Mul x0 Mul Add Mul sec exp x0 acosh x2 Mul x0 Mul acosh x2 Mul Mul tan exp x0 sec exp x0 exp x0 Pow Mul x0 Mul sec exp x0 acosh x2 -1 log Mul x0 Mul sec exp x0 acosh x2 Mul log Mul x0 Mul sec exp x0 acosh x2 x0 