Mul cos sqrt x0 Pow Add 5 log log Mul x0 Add x0 3 cosh Add x6 5 
Add Mul Pow Add 5 log log Mul x0 Add x0 3 cosh Add x6 5 Mul Mul -1 sin sqrt x0 Pow Mul 2 sqrt x0 -1 Mul cos sqrt x0 Mul Pow Add 5 log log Mul x0 Add x0 3 Add cosh Add x6 5 -1 Mul cosh Add x6 5 Mul Mul Add Add x0 3 x0 Pow Mul x0 Add x0 3 -1 Pow log Mul x0 Add x0 3 -1 