Add x6 Pow Mul Pow Mul x7 Mul Mul x0 x0 2 sinh x0 acos x0 5 
Mul Pow Mul Pow Mul x7 Mul Mul x0 x0 2 sinh x0 acos x0 4 Mul 5 Add Mul acos x0 Mul Pow Mul x7 Mul Mul x0 x0 2 Add sinh x0 -1 Add Mul sinh x0 Mul x7 Mul 2 Add x0 x0 Mul Mul Mul x7 Mul Mul x0 x0 2 log Mul x7 Mul Mul x0 x0 2 cosh x0 Mul Pow Mul x7 Mul Mul x0 x0 2 sinh x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 