Mul -2 cosh Pow Add Pow -4 x1 2 Mul x0 Add x0 acos x0 
Mul -2 Mul sinh Pow Add Pow -4 x1 2 Mul x0 Add x0 acos x0 Mul Pow Add Pow -4 x1 2 Add Mul x0 Add x0 acos x0 -1 Mul Mul Add Pow -4 x1 2 log Add Pow -4 x1 2 Add Add x0 acos x0 Mul x0 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 