Mul acosh Mul Add 4 E Pow x5 acsch x3 Mul x0 log Add Mul Add Mul x0 x0 x1 Add x0 2 x3 
Mul acosh Mul Add 4 E Pow x5 acsch x3 Add log Add Mul Add Mul x0 x0 x1 Add x0 2 x3 Mul x0 Mul Add Mul Add x0 2 Add x0 x0 Add Mul x0 x0 x1 Pow Add Mul Add Mul x0 x0 x1 Add x0 2 x3 -1 