Mul Pow Pow Add x0 x0 x0 2 Add Add Mul asinh x5 Add x0 1511427665004103527714100498092829891603482697174374415092350456743517150826614334359230562343706299625849749504 1 Add x7 acosh Add 1 x2 
Add Mul Add Add Mul asinh x5 Add x0 1511427665004103527714100498092829891603482697174374415092350456743517150826614334359230562343706299625849749504 1 Add x7 acosh Add 1 x2 Mul Pow Add x0 x0 x0 Mul 2 Mul Pow Add x0 x0 Add x0 -1 Add Mul x0 2 Mul Add x0 x0 log Add x0 x0 Mul Pow Pow Add x0 x0 x0 2 asinh x5 