Input: simplify(sin(0.5,x))
Write: `simplify(sin(0.5,x))`
Output: $$ simplify :\\ \ sin^{(0.5)}(x) == sin(0.25\ \pi +x) $$ Result:$$sin(0.25\ \pi +x)$$