Mul x0 Add cot log Pow Mul Pow Mul x3 2 x1 2 acos csch x0 x0 
Add Add cot log Pow Mul Pow Mul x3 2 x1 2 acos csch x0 x0 Mul x0 Add Mul Mul -1 Pow csc log Pow Mul Pow Mul x3 2 x1 2 acos csch x0 2 Mul Mul Pow Mul Pow Mul x3 2 x1 2 Add acos csch x0 -1 Mul Mul Mul Pow Mul x3 2 x1 2 log Mul Pow Mul x3 2 x1 2 Mul -1 Mul Mul Mul -1 coth x0 csch x0 Pow sqrt Add 1 Mul -1 Mul csch x0 csch x0 -1 Pow Pow Mul Pow Mul x3 2 x1 2 acos csch x0 -1 1 