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