Add Mul cot Mul acosh x0 coth x2 log Mul x0 x0 Mul atanh x0 acoth pi 
Add Add Mul log Mul x0 x0 Mul Mul -1 Pow csc Mul acosh x0 coth x2 2 Mul coth x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul cot Mul acosh x0 coth x2 Mul Add x0 x0 Pow Mul x0 x0 -1 Mul acoth pi Pow Add 1 Mul -1 Mul x0 x0 -1 