acosh Mul Add x0 acsch cos x3 Pow x0 Add x5 E 
Mul Add Pow x0 Add x5 E Mul Add x0 acsch cos x3 Mul Pow x0 Add Add x5 E -1 Add x5 E Pow Mul sqrt Add Mul Add x0 acsch cos x3 Pow x0 Add x5 E -1 sqrt Add 1 Mul Add x0 acsch cos x3 Pow x0 Add x5 E -1 