Add Pow log Mul Mul x4 x3 x0 Pow Mul asinh x1 acot acos x0 sin x0 x7 
Mul Pow log Mul Mul x4 x3 x0 Add Pow Mul asinh x1 acot acos x0 sin x0 -1 Add Mul Pow Mul asinh x1 acot acos x0 sin x0 Mul Mul x4 x3 Pow Mul Mul x4 x3 x0 -1 Mul Mul log Mul Mul x4 x3 x0 log log Mul Mul x4 x3 x0 Mul Pow Mul asinh x1 acot acos x0 Add sin x0 -1 Add Mul sin x0 Mul asinh x1 Mul -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acos x0 acos x0 -1 Mul Mul Mul asinh x1 acot acos x0 log Mul asinh x1 acot acos x0 cos x0 