Add cot Mul Mul x0 x2 Pow Add 256 acsch x3 x0 Pow x0 acosh Pow sqrt Add 4 x1 2 
Add Mul Mul -1 Pow csc Mul Mul x0 x2 Pow Add 256 acsch x3 x0 2 Add Mul Pow Add 256 acsch x3 x0 x2 Mul Mul x0 x2 Mul Pow Add 256 acsch x3 Add x0 -1 Mul Add 256 acsch x3 log Add 256 acsch x3 Mul Pow x0 Add acosh Pow sqrt Add 4 x1 2 -1 acosh Pow sqrt Add 4 x1 2 