Pow Mul x0 5 Add acsch cosh Mul x2 x0 pi 
Mul Pow Mul x0 5 Add Add acsch cosh Mul x2 x0 pi -1 Add Mul Add acsch cosh Mul x2 x0 pi 5 Mul Mul Mul x0 5 log Mul x0 5 Mul Mul -1 Mul sinh Mul x2 x0 x2 Pow Mul Mul cosh Mul x2 x0 cosh Mul x2 x0 sqrt Add 1 Mul -1 Pow Mul cosh Mul x2 x0 cosh Mul x2 x0 -1 -1 