Add x0 log Add Mul cosh E x0 Mul asinh Add -2 acos Mul x3 x0 3.76219569108363 
Add 1 Mul Add cosh E Mul 3.76219569108363 Mul Mul -1 Mul x3 Pow sqrt Add 1 Mul -1 Mul Mul x3 x0 Mul x3 x0 -1 Pow sqrt Add 1 Mul Add -2 acos Mul x3 x0 Add -2 acos Mul x3 x0 -1 Pow Add Mul cosh E x0 Mul asinh Add -2 acos Mul x3 x0 3.76219569108363 -1 