Mul x0 acos Mul -1 Pow Add Mul x0 2 x0 sinh Mul Add x7 x0 E 
Add acos Mul -1 Pow Add Mul x0 2 x0 sinh Mul Add x7 x0 E Mul x0 Mul -1 Mul Mul -1 Mul Pow Add Mul x0 2 x0 Add sinh Mul Add x7 x0 E -1 Add Mul sinh Mul Add x7 x0 E 3 Mul Mul Add Mul x0 2 x0 log Add Mul x0 2 x0 Mul cosh Mul Add x7 x0 E E Pow sqrt Add 1 Mul -1 Mul Mul -1 Pow Add Mul x0 2 x0 sinh Mul Add x7 x0 E Mul -1 Pow Add Mul x0 2 x0 sinh Mul Add x7 x0 E -1 