Add Pow cos Mul log x3 Mul cos x0 x7 x0 Mul -2 Add sinh x0 x0 
Add Mul Pow cos Mul log x3 Mul cos x0 x7 Add x0 -1 Add Mul x0 Mul Mul -1 sin Mul log x3 Mul cos x0 x7 Mul log x3 Mul x7 Mul -1 sin x0 Mul cos Mul log x3 Mul cos x0 x7 log cos Mul log x3 Mul cos x0 x7 Mul -2 Add cosh x0 1 