Mul exp x0 acsch Add 1.28010387799827 Add x0 x0 
Add Mul acsch Add 1.28010387799827 Add x0 x0 exp x0 Mul exp x0 Pow Mul Mul Add 1.28010387799827 Add x0 x0 Add 1.28010387799827 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Add 1.28010387799827 Add x0 x0 Add 1.28010387799827 Add x0 x0 -1 -1 