Mul x0 sinh cot Pow Pow x7 acosh Mul x0 atan x0 x7 
Add sinh cot Pow Pow x7 acosh Mul x0 atan x0 x7 Mul x0 Mul cosh cot Pow Pow x7 acosh Mul x0 atan x0 x7 Mul Mul -1 Pow csc Pow Pow x7 acosh Mul x0 atan x0 x7 2 Mul Pow Pow x7 acosh Mul x0 atan x0 Add x7 -1 Mul x7 Mul Pow x7 Add acosh Mul x0 atan x0 -1 Mul Mul x7 log x7 Mul Add atan x0 Mul x0 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Mul x0 atan x0 -1 sqrt Add 1 Mul x0 atan x0 -1 