Add x0 Pow x0 tan Pow Mul Mul x0 x7 acosh x1 x0 
Add 1 Mul Pow x0 Add tan Pow Mul Mul x0 x7 acosh x1 x0 -1 Add tan Pow Mul Mul x0 x7 acosh x1 x0 Mul Mul x0 log x0 Mul Pow sec Pow Mul Mul x0 x7 acosh x1 x0 2 Mul Pow Mul Mul x0 x7 acosh x1 Add x0 -1 Add Mul x0 Mul acosh x1 x7 Mul Mul Mul x0 x7 acosh x1 log Mul Mul x0 x7 acosh x1 