Pow Add Pow x0 sinh Mul exp x0 x0 -4 pi 
Mul Pow Add Pow x0 sinh Mul exp x0 x0 -4 Add pi -1 Mul pi Mul Pow x0 Add sinh Mul exp x0 x0 -1 Add sinh Mul exp x0 x0 Mul Mul x0 log x0 Mul cosh Mul exp x0 x0 Add Mul x0 exp x0 exp x0 