cot Mul x0 cosh Mul Add Mul x0 acot asec E x0 cosh x0 
Mul Mul -1 Pow csc Mul x0 cosh Mul Add Mul x0 acot asec E x0 cosh x0 2 Add cosh Mul Add Mul x0 acot asec E x0 cosh x0 Mul x0 Mul sinh Mul Add Mul x0 acot asec E x0 cosh x0 Add Mul cosh x0 Add acot asec E 1 Mul Add Mul x0 acot asec E x0 sinh x0 