acosh Mul Add Add x0 1 4 Add sec acsch x6 -1.32581766366803 
Mul Add sec acsch x6 -1.32581766366803 Pow Mul sqrt Add Mul Add Add x0 1 4 Add sec acsch x6 -1.32581766366803 -1 sqrt Add 1 Mul Add Add x0 1 4 Add sec acsch x6 -1.32581766366803 -1 