sec Mul x0 acsch Mul acosh Mul 5 exp Add Mul 5 x7 x0 -4 
Mul Mul tan Mul x0 acsch Mul acosh Mul 5 exp Add Mul 5 x7 x0 -4 sec Mul x0 acsch Mul acosh Mul 5 exp Add Mul 5 x7 x0 -4 Add acsch Mul acosh Mul 5 exp Add Mul 5 x7 x0 -4 Mul x0 Mul Mul -1 Mul -4 Mul Mul 5 exp Add Mul 5 x7 x0 Pow Mul sqrt Add Mul 5 exp Add Mul 5 x7 x0 -1 sqrt Add 1 Mul 5 exp Add Mul 5 x7 x0 -1 Pow Mul Mul Mul acosh Mul 5 exp Add Mul 5 x7 x0 -4 Mul acosh Mul 5 exp Add Mul 5 x7 x0 -4 sqrt Add 1 Mul -1 Pow Mul Mul acosh Mul 5 exp Add Mul 5 x7 x0 -4 Mul acosh Mul 5 exp Add Mul 5 x7 x0 -4 -1 -1 