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