cosh Pow Mul Mul x0 x0 pi acos Mul Mul 2 x5 x0 
Mul sinh Pow Mul Mul x0 x0 pi acos Mul Mul 2 x5 x0 Mul Pow Mul Mul x0 x0 pi Add acos Mul Mul 2 x5 x0 -1 Add Mul acos Mul Mul 2 x5 x0 Mul pi Add x0 x0 Mul Mul Mul Mul x0 x0 pi log Mul Mul x0 x0 pi Mul -1 Mul Mul 2 x5 Pow sqrt Add 1 Mul -1 Mul Mul Mul 2 x5 x0 Mul Mul 2 x5 x0 -1 