Add Mul x2 atan Pow x1 4 Mul x2 sinh Mul Add Add x0 acosh E log Mul x0 x0 asinh Add x0 x7 
Mul x2 Mul cosh Mul Add Add x0 acosh E log Mul x0 x0 asinh Add x0 x7 Add Mul asinh Add x0 x7 Add 1 Mul Add x0 x0 Pow Mul x0 x0 -1 Mul Add Add x0 acosh E log Mul x0 x0 Pow sqrt Add 1 Mul Add x0 x7 Add x0 x7 -1 