Mul Add x0 Mul cot x1 cos E Pow Pow acsch x2 acot Mul x0 x0 x1 
Add Pow Pow acsch x2 acot Mul x0 x0 x1 Mul Add x0 Mul cot x1 cos E Mul Pow Pow acsch x2 acot Mul x0 x0 Add x1 -1 Mul x1 Mul Pow acsch x2 Add acot Mul x0 x0 -1 Mul Mul acsch x2 log acsch x2 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 