Mul -5 Mul acosh tan Mul acsch x7 x0 Add x0 Mul x1 x4 
Mul -5 Add Mul Add x0 Mul x1 x4 Mul Mul Pow sec Mul acsch x7 x0 2 acsch x7 Pow Mul sqrt Add tan Mul acsch x7 x0 -1 sqrt Add 1 tan Mul acsch x7 x0 -1 acosh tan Mul acsch x7 x0 