Mul acosh pi Mul Add x6 acsch Add x0 2.23606797749979 Add -5 x6 
Mul acosh pi Mul Add -5 x6 Mul -1 Pow Mul Mul Add x0 2.23606797749979 Add x0 2.23606797749979 sqrt Add 1 Mul -1 Pow Mul Add x0 2.23606797749979 Add x0 2.23606797749979 -1 -1 