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