Mul x0 acot Pow Mul Pow cosh sqrt Add x3 -5 x6 Mul cosh x0 pi x4 
Add acot Pow Mul Pow cosh sqrt Add x3 -5 x6 Mul cosh x0 pi x4 Mul x0 Mul -1 Mul Mul Pow Mul Pow cosh sqrt Add x3 -5 x6 Mul cosh x0 pi Add x4 -1 Mul x4 Mul Pow cosh sqrt Add x3 -5 x6 Mul pi sinh x0 Pow Add 1 Mul Pow Mul Pow cosh sqrt Add x3 -5 x6 Mul cosh x0 pi x4 Pow Mul Pow cosh sqrt Add x3 -5 x6 Mul cosh x0 pi x4 -1 