sinh Mul acosh x0 Mul Mul Pow x0 x5 0.540302305868140 x5 
Mul cosh Mul acosh x0 Mul Mul Pow x0 x5 0.540302305868140 x5 Add Mul Mul Mul Pow x0 x5 0.540302305868140 x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul x5 Mul 0.540302305868140 Mul Pow x0 Add x5 -1 x5 