acoth Add csc x0 Pow Mul csch Add Add x0 acosh pi Mul x1 x0 x0 x0 
Mul Add Mul Mul -1 cot x0 csc x0 Mul Pow Mul csch Add Add x0 acosh pi Mul x1 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Mul Mul -1 coth Add Add x0 acosh pi Mul x1 x0 csch Add Add x0 acosh pi Mul x1 x0 Add 1 x1 csch Add Add x0 acosh pi Mul x1 x0 Mul Mul csch Add Add x0 acosh pi Mul x1 x0 x0 log Mul csch Add Add x0 acosh pi Mul x1 x0 x0 Pow Add 1 Mul -1 Mul Add csc x0 Pow Mul csch Add Add x0 acosh pi Mul x1 x0 x0 x0 Add csc x0 Pow Mul csch Add Add x0 acosh pi Mul x1 x0 x0 x0 -1 