Add acsch log Add x4 -1 Add Mul Add Mul x1 sinh pi x0 Add x1 Pow sqrt cosh x0 x2 Add x5 x1 
Add Add x1 Pow sqrt cosh x0 x2 Mul Add Mul x1 sinh pi x0 Mul Pow sqrt cosh x0 Add x2 -1 Mul x2 Mul Pow Mul 2 sqrt cosh x0 -1 sinh x0 