Add Pow acot x0 Add Mul acos Mul Mul x4 acsch sin x0 x0 tan sqrt acos x0 x5 x1 
Mul Pow acot x0 Add Add Mul acos Mul Mul x4 acsch sin x0 x0 tan sqrt acos x0 x5 -1 Add Mul Add Mul acos Mul Mul x4 acsch sin x0 x0 tan sqrt acos x0 x5 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Add Mul tan sqrt acos x0 Mul -1 Mul Add Mul x0 Mul x4 Mul Mul -1 cos x0 Pow Mul Mul sin x0 sin x0 sqrt Add 1 Mul -1 Pow Mul sin x0 sin x0 -1 -1 Mul x4 acsch sin x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul x4 acsch sin x0 x0 Mul Mul x4 acsch sin x0 x0 -1 Mul acos Mul Mul x4 acsch sin x0 x0 Mul Pow sec sqrt acos x0 2 Mul Pow Mul 2 sqrt acos x0 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 