cot Pow Pow Mul acosh x1 Add pi 3 x0 Mul Mul -5 pi coth x0 
Mul Mul -1 Pow csc Pow Pow Mul acosh x1 Add pi 3 x0 Mul Mul -5 pi coth x0 2 Mul Pow Pow Mul acosh x1 Add pi 3 x0 Add Mul Mul -5 pi coth x0 -1 Add Mul Mul Mul -5 pi coth x0 Mul Pow Mul acosh x1 Add pi 3 Add x0 -1 Mul Mul acosh x1 Add pi 3 log Mul acosh x1 Add pi 3 Mul Mul Pow Mul acosh x1 Add pi 3 x0 log Pow Mul acosh x1 Add pi 3 x0 Mul Mul -5 pi Mul -1 Pow csch x0 2 