Mul x0 Mul Pow x0 sqrt Add Mul -2 Add sinh x0 5 E x3 
Add Mul Pow x0 sqrt Add Mul -2 Add sinh x0 5 E x3 Mul x0 Mul x3 Mul Pow x0 Add sqrt Add Mul -2 Add sinh x0 5 E -1 Add sqrt Add Mul -2 Add sinh x0 5 E Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Add Mul -2 Add sinh x0 5 E -1 Mul -2 cosh x0 