Add Pow atan x0 Mul Add x0 x0 pi tan acsch Add Add log cosh x0 sech pi pi 
Add Mul Pow atan x0 Add Mul Add x0 x0 pi -1 Add Mul Mul Add x0 x0 pi Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul pi 2 Mul Pow sec acsch Add Add log cosh x0 sech pi pi 2 Mul Mul -1 Mul sinh x0 Pow cosh x0 -1 Pow Mul Mul Add Add log cosh x0 sech pi pi Add Add log cosh x0 sech pi pi sqrt Add 1 Mul -1 Pow Mul Add Add log cosh x0 sech pi pi Add Add log cosh x0 sech pi pi -1 -1 