Mul x0 log Mul Add x0 Mul Add x6 -5 acosh Mul -4 x3 sqrt acsch pi 
Add log Mul Add x0 Mul Add x6 -5 acosh Mul -4 x3 sqrt acsch pi Mul x0 Mul sqrt acsch pi Pow Mul Add x0 Mul Add x6 -5 acosh Mul -4 x3 sqrt acsch pi -1 