Mul x0 acot sqrt csc cosh Mul x0 5 
Add acot sqrt csc cosh Mul x0 5 Mul x0 Mul -1 Mul Mul Pow Mul 2 sqrt csc cosh Mul x0 5 -1 Mul Mul Mul -1 cot cosh Mul x0 5 csc cosh Mul x0 5 Mul sinh Mul x0 5 5 Pow Add 1 Mul sqrt csc cosh Mul x0 5 sqrt csc cosh Mul x0 5 -1 