Pow x0 Add Mul pi Add sinh sqrt exp x0 x4 -1 
Mul Pow x0 Add Add Mul pi Add sinh sqrt exp x0 x4 -1 -1 Add Add Mul pi Add sinh sqrt exp x0 x4 -1 Mul Mul x0 log x0 Mul pi Mul cosh sqrt exp x0 Mul Pow Mul 2 sqrt exp x0 -1 exp x0 