[spec] compound & double angle formulas