Mul asinh Add acsc cot Mul x0 acoth Mul x0 x1 x0 -4 
Mul -4 Mul Add Mul -1 Mul Mul Mul -1 Pow csc Mul x0 acoth Mul x0 x1 2 Add acoth Mul x0 x1 Mul x0 Mul x1 Pow Add 1 Mul -1 Mul Mul x0 x1 Mul x0 x1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cot Mul x0 acoth Mul x0 x1 cot Mul x0 acoth Mul x0 x1 -1 cot Mul x0 acoth Mul x0 x1 cot Mul x0 acoth Mul x0 x1 -1 1 Pow sqrt Add 1 Mul Add acsc cot Mul x0 acoth Mul x0 x1 x0 Add acsc cot Mul x0 acoth Mul x0 x1 x0 -1 