acot Mul Add x0 Pow Mul Add x4 sinh x0 Add x3 pi x0 acoth x3 
Mul -1 Mul Mul acoth x3 Add 1 Mul Pow Mul Add x4 sinh x0 Add x3 pi Add x0 -1 Add Mul x0 Mul Add x3 pi cosh x0 Mul Mul Add x4 sinh x0 Add x3 pi log Mul Add x4 sinh x0 Add x3 pi Pow Add 1 Mul Mul Add x0 Pow Mul Add x4 sinh x0 Add x3 pi x0 acoth x3 Mul Add x0 Pow Mul Add x4 sinh x0 Add x3 pi x0 acoth x3 -1 