Mul sin cosh x1 Mul x0 Pow Mul Mul Mul x2 x0 log x1 x0 pi 
Mul sin cosh x1 Add Pow Mul Mul Mul x2 x0 log x1 x0 pi Mul x0 Mul Pow Mul Mul Mul x2 x0 log x1 x0 Add pi -1 Mul pi Add Mul x0 Mul log x1 x2 Mul Mul x2 x0 log x1 