Add Add 1 sqrt cosh Add x0 x0 acos Add asin x3 Add atan x0 Mul Pow pi acsch Add x0 pi x0 
Add Mul Pow Mul 2 sqrt cosh Add x0 x0 -1 Mul sinh Add x0 x0 2 Mul -1 Mul Add Pow Add 1 Mul x0 x0 -1 Add Mul x0 Mul Pow pi Add acsch Add x0 pi -1 Mul Mul pi log pi Mul -1 Pow Mul Mul Add x0 pi Add x0 pi sqrt Add 1 Mul -1 Pow Mul Add x0 pi Add x0 pi -1 -1 Pow pi acsch Add x0 pi Pow sqrt Add 1 Mul -1 Mul Add asin x3 Add atan x0 Mul Pow pi acsch Add x0 pi x0 Add asin x3 Add atan x0 Mul Pow pi acsch Add x0 pi x0 -1 