solve(asin(1/(4x))+asin(1/(5x))=pi/6