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