exp Pow x0 Add Pow sinh x7 sinh x0 x0 
Mul exp Pow x0 Add Pow sinh x7 sinh x0 x0 Mul Pow x0 Add Add Pow sinh x7 sinh x0 x0 -1 Add Add Pow sinh x7 sinh x0 x0 Mul Mul x0 log x0 Add Mul Pow sinh x7 Add sinh x0 -1 Mul Mul sinh x7 log sinh x7 cosh x0 1 