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