exp Add x0 Add Mul cos x4 Add Pow Mul x5 acsch x7 x2 Mul acosh x0 x0 x0 
Mul exp Add x0 Add Mul cos x4 Add Pow Mul x5 acsch x7 x2 Mul acosh x0 x0 x0 Add 1 Add Mul cos x4 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 1 