Mul Pow sec Mul Pow Mul x0 x0 acosh x7 x0 x3 E 
Mul E Mul Pow sec Mul Pow Mul x0 x0 acosh x7 x0 Add x3 -1 Mul x3 Mul Mul tan Mul Pow Mul x0 x0 acosh x7 x0 sec Mul Pow Mul x0 x0 acosh x7 x0 Add Mul x0 Mul Pow Mul x0 x0 Add acosh x7 -1 Mul acosh x7 Add x0 x0 Pow Mul x0 x0 acosh x7 