atanh Pow cosh Mul Add 4 x0 pi Mul -2 cot x0 
Mul Mul Pow cosh Mul Add 4 x0 pi Add Mul -2 cot x0 -1 Add Mul Mul -2 cot x0 Mul sinh Mul Add 4 x0 pi pi Mul Mul cosh Mul Add 4 x0 pi log cosh Mul Add 4 x0 pi Mul -2 Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul Pow cosh Mul Add 4 x0 pi Mul -2 cot x0 Pow cosh Mul Add 4 x0 pi Mul -2 cot x0 -1 