I propose we change the default value of triginverses from all to true: (%i1) triginverses; (%o1) all (%i2) asin(sin(x)); (%o2) x (%i3) asin(sin(x)), triginverses=true; (%o3) asin(sin(x)) -- Andrej