Mul cbrt sinh x7 Mul asech asinh x1 Add Mul -4 acos Mul x0 Mul Add 1 x0 2 x0 
Mul cbrt sinh x7 Mul asech asinh x1 Add Mul -4 Mul -1 Mul Add Mul Add 1 x0 2 Mul x0 2 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul Add 1 x0 2 Mul x0 Mul Add 1 x0 2 -1 1 