Mul x0 acosh Mul Mul x0 sin Pow acosh csc Add x7 csch x0 x0 Mul x1 Add Add 2 acot acosh x3 x0 
Add acosh Mul Mul x0 sin Pow acosh csc Add x7 csch x0 x0 Mul x1 Add Add 2 acot acosh x3 x0 Mul x0 Mul Add Mul Mul x1 Add Add 2 acot acosh x3 x0 Add sin Pow acosh csc Add x7 csch x0 x0 Mul x0 Mul cos Pow acosh csc Add x7 csch x0 x0 Mul Pow acosh csc Add x7 csch x0 Add x0 -1 Add Mul x0 Mul Mul Mul Mul -1 cot Add x7 csch x0 csc Add x7 csch x0 Mul Mul -1 coth x0 csch x0 Pow Mul sqrt Add csc Add x7 csch x0 -1 sqrt Add 1 csc Add x7 csch x0 -1 Mul acosh csc Add x7 csch x0 log acosh csc Add x7 csch x0 Mul Mul x0 sin Pow acosh csc Add x7 csch x0 x0 x1 Pow Mul sqrt Add Mul Mul x0 sin Pow acosh csc Add x7 csch x0 x0 Mul x1 Add Add 2 acot acosh x3 x0 -1 sqrt Add 1 Mul Mul x0 sin Pow acosh csc Add x7 csch x0 x0 Mul x1 Add Add 2 acot acosh x3 x0 -1 