Mul Pow x0 Mul 3 x4 Mul Pow Pow Mul -2 x0 Mul x0 acsc acosh sech x1 acsch x1 cos acot x4 
Add Mul Mul Pow Pow Mul -2 x0 Mul x0 acsc acosh sech x1 acsch x1 cos acot x4 Mul Pow x0 Add Mul 3 x4 -1 Mul 3 x4 Mul Pow x0 Mul 3 x4 Mul cos acot x4 Mul Pow Pow Mul -2 x0 Mul x0 acsc acosh sech x1 Add acsch x1 -1 Mul acsch x1 Mul Pow Mul -2 x0 Add Mul x0 acsc acosh sech x1 -1 Add Mul Mul x0 acsc acosh sech x1 -2 Mul Mul Mul -2 x0 log Mul -2 x0 acsc acosh sech x1 