acoth Mul Mul x0 -2 Add Add Mul cosh x0 x0 pi pi 
Mul Add Mul Add Add Mul cosh x0 x0 pi pi -2 Mul Mul x0 -2 Add Mul x0 sinh x0 cosh x0 Pow Add 1 Mul -1 Mul Mul Mul x0 -2 Add Add Mul cosh x0 x0 pi pi Mul Mul x0 -2 Add Add Mul cosh x0 x0 pi pi -1 