Mul Pow Add 4 Mul asech pi acos x3 sin x0 x0 
Add Mul x0 Mul Pow Add 4 Mul asech pi acos x3 Add sin x0 -1 Mul Mul Add 4 Mul asech pi acos x3 log Add 4 Mul asech pi acos x3 cos x0 Pow Add 4 Mul asech pi acos x3 sin x0 