Add Mul x0 Pow Mul Add x0 2 x0 cosh Mul x6 acsch acos Mul x4 x6 x0 
Add Add Pow Mul Add x0 2 x0 cosh Mul x6 acsch acos Mul x4 x6 Mul x0 Mul Pow Mul Add x0 2 x0 Add cosh Mul x6 acsch acos Mul x4 x6 -1 Mul cosh Mul x6 acsch acos Mul x4 x6 Add x0 Add x0 2 1 