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