Mul cot Add Mul x0 Add -1 E Mul Mul asinh x7 x3 Mul -4 x7 cot Add x0 cos acos x0 
Add Mul cot Add x0 cos acos x0 Mul Mul -1 Pow csc Add Mul x0 Add -1 E Mul Mul asinh x7 x3 Mul -4 x7 2 Add -1 E Mul cot Add Mul x0 Add -1 E Mul Mul asinh x7 x3 Mul -4 x7 Mul Mul -1 Pow csc Add x0 cos acos x0 2 Add 1 Mul Mul -1 sin acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 