deg2rad(u):=%pi/180*u;

deg2rad(80);

deg2rad(70);

x=%pi-x;

solve(%,x);

rad2deg(u):=180/%pi*u;

rad2deg(%pi/2);

float(%);