Pow Mul Mul x2 x1 cosh Pow cosh x0 pi acos Mul x1 x5 
Mul Pow Mul Mul x2 x1 cosh Pow cosh x0 pi Add acos Mul x1 x5 -1 Mul acos Mul x1 x5 Mul Mul x2 x1 Mul sinh Pow cosh x0 pi Mul Pow cosh x0 Add pi -1 Mul pi sinh x0 